git.iko.soy/Idris-dev
on 2b258db help sign in
history oftest/reg010/expected
all commits
d0a9bebadjust tests with --consolewidth for use with -f cursesAndreas Reuleaux 40f6534Better typecase checkEdwin Brady 0d8a153New way of dealing with unmatchable patternsEdwin Brady ed81980Update expected error messages for testsBen Sherman 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