6fc3032Print out a bunch of extra information about type checking.evancz13 years ago 989d878Merge branch 'master' into devevancz13 years ago ad0f1f1Switch from sets of constraints to lists of constraints. This should have a positive performance impact, in that list insertion should be asymptotically faster than set insertion.evancz13 years ago f8547cfUpdate 'at patterns' to use the as notation per mailing list discussionAndrew Miller13 years ago 3c71ee1Support @ patterns as in HaskellAndrew Miller13 years ago 6a34482Add support for type annotations in letAndrew Miller13 years ago 6b28feaSwitch name of Context to Located. Whoo static types :)evancz13 years ago e086c17Resolve types for values imported from the standard library.evancz13 years ago 8ae1d11Turn on warning for undefined values.evancz13 years ago 7d03f69Provide a way to define super-types in type annotations. Should not be used outside of core libraries.evancz14 years ago 703508fFix prelude imports and correctly generalize for library types that use `Number`.evancz14 years ago 1d04b34Permit pattern matching on records in case-expressions.evancz14 years ago 0354fadExplicitly list imports for a module.evancz14 years ago 82f888cGet the type-checker running based on docs.json information. Also add rules for `Nil` and `Tuple0`, `Tuple2`, etc.evancz14 years ago 1822ebcMove the compiler down a directory, mostly.evancz14 years ago