git.iko.soy/elk
on 727d708 help sign in
history ofcompiler/Type/Constrain/Declaration.hs
all commits
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