git.iko.soy/elk
on efdea2f help sign in
history ofcompiler/Transform/Check.hs
all commits
5dd7b6bExtend expression crawler to do checks on ports as well as on let expressionsEvan Czaplicki c883b55Get rid of `badOrder` check, which is handled elsewhere. Update for new def and port formatsEvan 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 e119d8eGet rid of SourceSyntax.Everything moduleEvan Czaplicki 7b20993Get rid of dependency on uniplate so AST does not need to derive Data or TypeableEvan Czaplicki d1b3db2clean up error reportingBen Darwin 55e5c34also fix duplicate *type* constructorsBen Darwin 36b73fefix duplicate *data* constructorsBen Darwin 54a99b7Add error and explanation for infinite type aliasesEvan Czaplicki debfd18Fix formatting of error when there are two unbound type variablesEvan Czaplicki 692d8d8Throw errors for unbound type variables in ADTs and aliases, resolves #302Evan Czaplicki 5b6773cFix extra space in error messageEvan Czaplicki 7b90975Simplify code to check for structural errorsEvan Czaplicki ce357b3Switch to reporting errors with [Doc] for prettier layout.Evan Czaplicki 93a948cAdd back in checks for duplicate and out-of-order definitions.Evan Czaplicki