git.iko.soy/elk
on c8eeedf help sign in
history ofcompiler/Transform/Check.hs
all commits
e2a0b46Take steps to allow higher kinded polymorphismEvan Czaplicki ee5e0fbStarting to get Canonicalize working with new ASTEvan Czaplicki b2f3ff3Begin using the new boundVarList functionEvan Czaplicki 6ba394cGet rid of experimental code for handling "deriving"Evan Czaplicki 329077fGet rid of input handlers for nowEvan Czaplicki 2a0a0e6Simplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnewEvan Czaplicki 9dda928make conversion functions for input ports optionalEvan Czaplicki 828c2c7Give more reasonable names to incoming and outgoing portsEvan Czaplicki 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