git.iko.soy/Idris-dev
on d689c19 help sign in
history oftest/tutorial006/expected
all commits
f743272Don't include '=' for RHS spanJason Felice 79351eeAdd blank line after "large" messagesJason Felice 7d0c06bPut source code before error (like parse errors)Jason Felice f967817Make warnings, non-parse errors prettyJason Felice b1a4264Improve error message locations (#4210)Jason Felice be7689bMake Vect follow the naming convention of ListDavid Christiansen cfc8436Don't normalise constructor typesEdwin Brady da914afConsistency of implicit/pattern name binding rulesEdwin Brady 83f0af1Display expected type of RHS in error messagesEdwin Brady 50b5031Merge VectType into Vect to be more like other Data.*Melvar Chen 6f904d5Fix tests due to name changeEdwin Brady 85a9d50Update error messages in testsEdwin Brady 61870cbChange wording in unification errorsEdwin Brady 95d90f4Better highlighting for data declarationsDavid Raymond Christiansen 8cc2312Don't let tests depend on colouring.Niklas Larsson 5d4d793adjust test tutorial006 with --consolewidth for use with -f cursesAndreas Reuleaux 01c4f2aA bit more unification error provenanceEdwin Brady 179c704Record provenance of types in 'fill' errorsEdwin Brady 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady a1fb7a3Inline with blocksEdwin Brady 921b766Fix name propagation in error messagesEdwin Brady 7cea995Add tests for tutorial examplesEdwin Brady