git.iko.soy/elk
on 6f75310 help sign in
history ofcompiler/Type/Constrain/Declaration.hs
all commits
41dd0c8Update for new def and port formatsEvan Czaplicki 740702cBegin switch from current FFI syntax to "port" syntaxEvan Czaplicki 83e8badAdd basics of "deriving" for ADTs and type aliases. Only parse it for type aliases at the moment.Evan Czaplicki e119d8eGet rid of SourceSyntax.Everything moduleEvan Czaplicki 28d2568Fix record constructor for extensionEvan Czaplicki a4c4cf0Use `Location.none` lessEvan Czaplicki b26edccSimplify representation of source locationsEvan Czaplicki 760ad90Add record constructors, begin using lists to represent fields in record types to maintain ordering from the source programEvan Czaplicki 648cbd4Use letters for arguments in adt constructorsEvan Czaplicki b540fb4Fix bug in generating Def for ADT constructorsEvan Czaplicki b87e45aChange module prefixes for some valuesEvan Czaplicki 334d39cManual dead code elimination ;)Evan Czaplicki 3bb618bProvide the type *and definition* for data constructurs during type checkingEvan Czaplicki 67ef1ecCreate the Type.Inference module which handles type inference from start to finish. Give it a Module and it returns a dictionary mapping top-level values to types.Evan Czaplicki 0070a84Switch the internal data constructor name for tuples. Before tuple constructors could be shadowed by user defined ADT's such as "Tuple0", "Tuple2", etc. Now it uses "_Tuple0" to make it impossible to overlap with user defined ASTs.Evan Czaplicki 2b9853cGet variable reordering working for Declarations.Evan Czaplicki 4d7562fBegin generating constraints for whole programs. Need to perform dependency sort within let-expressions for things to work properly though.Evan Czaplicki 2ef1882Start adding constraint generation for declarations.Evan Czaplicki