git.iko.soy/Idris-dev
on 7afa310 help sign in
history oftest/reg010/expected
all commits
a1fb7a3Inline with blocksEdwin Brady 9eb64f4Rewrite error printing to use the pretty-printerDavid Raymond Christiansen 57c8657Added column name to sourceAhmad Salim Al-Sibahi ccee056Indent terms printed in typechecking errorsIgnas Vyšniauskas df41e3dGive a bit more context for error messagesEdwin Brady 02367f9Unification fix If f x = g y fails to unify due to f and g failing to unify, record the whole application as failed, otherwise we might accidentally unify x and y. Fixes #409Edwin Brady 3fc67a2Fix error with linearity checking in patternsEdwin Brady