git.iko.soy/Idris-dev
on 89c19be help sign in
history oftest/tutorial006/expected
all commits
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