Goose  Diff

Differences From Artifact [dda83615de]:

• File bs/eir/tostring.cpp — part of check-in [46e87c202b] at 2021-08-28 17:55:26 on branch trunk —
  • Instead of falling back to unification as the default type checking rule, implemented default type checking rules similar to the default unification ones
  • Fixed a nasty generator bug
  • Fixed reference type parsing not generating a location
  • Fixed where operator not generating a location that spanned both the types and the predicates
  • Various fixes to accomodate random api changes in the latest llvm
  • Updates fmt and catch2 versions
  (user: achavasse size: 3395)

To Artifact [ffeb55a7df]:

• File bs/eir/tostring.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: 3388)

36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

                    break;
            }
        }

        return out << delim;
    }

    ostream& ToString( ostream& out, const StringId& x )
    {
        return out << x;
    }

    ostream& ToString( ostream& out, const Delimiter& x )
    {
        const char* name = "";

|

36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

                    break;
            }
        }

        return out << delim;
    }

    ostream& ToString( ostream& out, StringId x )
    {
        return out << x;
    }

    ostream& ToString( ostream& out, const Delimiter& x )
    {
        const char* name = "";