git.iko.soy/elk
on d21783d help sign in
history ofcompiler/SourceSyntax/Declaration.hs
all commits
9dd5dffMake AST more general and try to give its phases better namesEvan Czaplicki b00a8cbAdd check that all ports appear in the "main" moduleEvan Czaplicki 6ba394cGet rid of experimental code for handling "deriving"Evan Czaplicki 329077fGet rid of input handlers for nowEvan Czaplicki 9dda928make conversion functions for input ports optionalEvan Czaplicki 828c2c7Give more reasonable names to incoming and outgoing portsEvan Czaplicki 270dbf8Add -Wall to a bunch of SourceSyntax files and get them warning freeEvan Czaplicki bdeb36eFix port parser! Copy paste error on the operator.Evan Czaplicki bd4d76eChenge representation of Expr, add ports representationEvan Czaplicki 662fd76Add JS as a possible Derivation, correct binary serialization, add error when serialization goes wrong.Evan 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 32c78efBegin process of allowing "deriving" on type aliases.Evan Czaplicki 7b20993Get rid of dependency on uniplate so AST does not need to derive Data or TypeableEvan Czaplicki 67924d1Remove catch-all match in DeclarationMichael Sondergaard 692d8d8Throw errors for unbound type variables in ADTs and aliases, resolves #302Evan Czaplicki c9824b4Nicer show for `Assoc`Evan Czaplicki e4ca967Create a source syntax for types that will get converted into the internal type representation during type checking.Evan Czaplicki f2b3ed7Start using the PrettyPrint library to show expressions, literals, and patterns.Evan Czaplicki c7dce08Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.evancz 339ad77Begin getting the parser to match the new SourceSyntax modules.evancz bbb2b2aBegin migrating the AST to its own branch for the source syntax of the language.evancz