git.iko.soy/elk
on 9d36caa help sign in
history ofcompiler/SourceSyntax/Type.hs
all commits
9dd5dffMake AST more general and try to give its phases better namesEvan Czaplicki 0cd2af2used a more specific PP rendering to revert the changes to SS.Type prettyJohn P Mayer Jr 853e63cbetter shrinking and not-infinite-dump generation results in passed tests!John P Mayer Jr afb6bd5better gen and shrink, but stack overflowsJohn P Mayer Jr 6c1d2d7cosmetic: generalize `collectLambdas` to make a list of types, move prettifying code to the Pretty instanceEvan Czaplicki 2a0a0e6Simplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnewEvan Czaplicki 270dbf8Add -Wall to a bunch of SourceSyntax files and get them warning freeEvan Czaplicki 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