git.iko.soy/Idris-dev
on ca34dec help sign in
history oftest/error001/expected
all commits
79351eeAdd blank line after "large" messagesJason Felice 7d0c06bPut source code before error (like parse errors)Jason Felice f967817Make warnings, non-parse errors prettyJason Felice fdfa04cStore file with constraints + exportEdwin Brady 8ab1ac6Richer universe error objectsDavid Raymond Christiansen cef8780Fix constraint generation/testsEdwin Brady 6c673c2Change Solver to use ConstraintFC, not a pairEdwin Brady 7fe57bfonly adding constraints to the queue when the relevant bound is updatedOzgur Akgun 9284294Add fc to universe error messageEdwin Brady 1d2fc7fCategorise testsEdwin Brady