git.iko.soy/elk
on 63243ca help sign in
history ofcompiler/Parse/Type.hs
all commits
2a0a0e6Simplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnewEvan Czaplicki 6a8db4cGet rid of dead dependencies and add -Wall for some filesEvan Czaplicki c685c8bcosmetic changes on fix for #305Evan Czaplicki e75f538can have zero fields if no extension could be parsedJohn P Mayer Jr 11a60deDisallow extended record types with no fields, resolves #280Evan Czaplicki a7bb2b7Fix issue in which type expressions eat trailing whitespace.Evan Czaplicki 4e8898bRemove unused references to UniqueEvan Czaplicki 7785eb8Remove dead codeEvan Czaplicki 5fd85cdPermit single line comments intermingled with typesEvan Czaplicki 760ad90Add record constructors, begin using lists to represent fields in record types to maintain ordering from the source programEvan Czaplicki 6f94400Begin parsing types and patterns such as A.B.CEvan Czaplicki 22f7f8aCreate a serializable interface for a module's type informationEvan Czaplicki 5cb82c6Add support for "(,,) a b c" as a valid type annotationEvan Czaplicki 08ff939Be more flexible with the position of the closing bracket of a record type.Evan Czaplicki d29ca3bCreate a Parse.Declaration file for all declarations. Get rid of special purpose Parse.Foreign library.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 69ed763Start switching over to an AST that uses patterns in lambdas and pulls the arguments out of Definitions (placing them in lambdas).Evan Czaplicki c7dce08Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.evancz 459cf8eSwitch parsers over to new ASTevancz