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