Goose  Diff

Differences From Artifact [503d887f14]:

• File bs/builtins/types/runtime/typecheck.cpp — part of check-in [51f288ba2a] at 2021-09-13 21:52:06 on branch trunk —
  • Implemented a generic wrapper for the simple native types that can be embedded in Terms
  • Added more specific overloads for the assignment operator that should work only on builtin types, so that library and user defined types will be able to choose whether they're copyable
  • The EIR representation for all builtin runtime types are now prefixed with "rt_type" to more easily write generic matching rules against them
  • EIR: Fixed long standing bugs in Enumerate and Decompose that surfaced because of the above
  • Miscellaneous code cleaning
  (user: achavasse size: 4631)

To Artifact [ef34d352aa]:

• File bs/builtins/types/runtime/typecheck.cpp — part of check-in [1ad61a2717] at 2021-11-11 20:05:58 on branch trunk — Refactored the code builder: it is now carried around as a Value, and accessed through a bunch of extension points, so we can have different builders (and even user defined ones) later to make classes etc. (user: zlodo size: 4601)

1
2
3
4
5
6
7
8
9

#include "builtins/builtins.h"
#include "builtins/helpers.h"

using namespace goose;
using namespace goose::eir;

namespace goose::builtins
{
    void SetupRuntimeTypesChecking( Env& e )

<

1

2
3
4
5
6
7
8

#include "builtins/builtins.h"


using namespace goose;
using namespace goose::eir;

namespace goose::builtins
{
    void SetupRuntimeTypesChecking( Env& e )