git.iko.soy/elk
on 60aaaf4 help sign in
history ofcompiler/SourceSyntax/Type.hs
all commits
7b20993Get rid of dependency on uniplate so AST does not need to derive Data or TypeableEvan Czaplicki a0cbe84Throw an error when deserializing a bad typeMichael Sondergaard 1129430Prettier printing for list typesEvan Czaplicki a7b0d3fMake nested record types prettier.Evan Czaplicki 576e979Simplify code to generate record constraintsEvan Czaplicki 760ad90Add record constructors, begin using lists to represent fields in record types to maintain ordering from the source programEvan Czaplicki 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