git.iko.soy/elk
on 9386751 help sign in
history ofcompiler/SourceSyntax/Type.hs
all commits
d9c1317Add pretty printing for record typesEvan Czaplicki eaa751dMake pretty printing for types prettierEvan Czaplicki 22f7f8aCreate a serializable interface for a module's type informationEvan Czaplicki c942afeNicer pretty printing and a special variable to "Save the Environment"Evan Czaplicki 1d10836Fix naming bug for List typeEvan Czaplicki 93a948cAdd back in checks for duplicate and out-of-order definitions.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 e4ca967Create a source syntax for types that will get converted into the internal type representation during type checking.Evan Czaplicki