git.iko.soy/elk
on f57ffdf help sign in
history ofcompiler/Transform/Check.hs
all commits
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