git.iko.soy/elk
on 63243ca help sign in
history ofcompiler/Type/Environment.hs
all commits
2a0a0e6Simplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnewEvan Czaplicki c966776Add -W flag to many files, mostly getting rid of dead importsEvan Czaplicki 83e8badAdd basics of "deriving" for ADTs and type aliases. Only parse it for type aliases at the moment.Evan Czaplicki 76b2e56Add Strings as a primitive in the compilerEvan Czaplicki 95ec3a8Stop using `error` when constraining patterns and when instantiating source typesEvan Czaplicki 143547eFix problem with variable shadowing when instantiating aliased typesEvan Czaplicki a3f62c3Make errors a little bit better when a type alias gets the wrong number of arguments.Evan Czaplicki ce527c0Style changeEvan Czaplicki 6ace8a0Move the definition of the Signal type out of the compiler and into the Signal libraryEvan Czaplicki 46cb850Whitespace cleanupEvan Czaplicki ab41d0cTake out types that were listed as "builtin"Evan Czaplicki 760ad90Add record constructors, begin using lists to represent fields in record types to maintain ordering from the source programEvan Czaplicki 0f85a2fResolve type aliases in `instantiator`Evan Czaplicki 0681fbeGet rid of dead function and give instantiateTypeWithContext a shorter nameEvan Czaplicki 32a331bLoad ADTs into the environment to fix constraint generation for patternsEvan Czaplicki ff67c66Get Matrix2D and Signal compilingEvan Czaplicki 727d708Get libraries to compileEvan Czaplicki ec86876Move type annotations out of Environment and into the Basics libraryEvan Czaplicki 9fe6c9aChange functions for creating type variables, distinguish names of different constraint type variablesEvan Czaplicki 642b1f7Properly handle constrained variables when converting from Src.Type to Type.TypeEvan Czaplicki 4e7ef5fAdd definitions for functions that act on numbers and comparablesEvan Czaplicki 82ca695Add support for "number" type which can be either an Int or FloatEvan Czaplicki 802be96Fix issue in which patterns could become too generalEvan Czaplicki c140d69First draft of cross-module type checkingEvan Czaplicki 4dc68acStop creating types for ADT's, use Constant and Flexible in the right placeEvan Czaplicki c881bd8Fix bug in type application when converting SourceSyntax.Type to Type.TypeEvan Czaplicki a3a7b3eRefactor type environmentEvan Czaplicki 0ed7205Add pretty printing for type constraints.Evan Czaplicki b87b845Move the Environment.hs and Fragment.hs files down a directory.Evan Czaplicki ca8441fContinue getting the new type-checker in order.Evan Czaplicki