git.iko.soy/Idris-dev
on 3f04ad4 help sign in
history oftest/TestData.hs
all commits
cfd6084added test for js_unexpected_con_as_glob issue #3923Rui Barreiro b9bad2dAdd tests for interactively adding a missing clauseMatthias Heinzel fb55d38added a test for javascript ffi passing functionsRui Barreiro 1f273b9Don't run the :exec test using the JS code generatorJonas De Vuyst fa0d47cAdd test for :exec (+ fix for test/README.md)Jonas De Vuyst aa0abbcPay attention to 'Force' in totality checkingEdwin Brady 515ac42Interpreter tests (#3747)Chris Ford 4a10e27Add Data.BufferEdwin Brady a89330eChange meaning of 'data' in interfacesEdwin Brady 95d226fFix a proof of VoidEdwin Brady 3f0d399Add regression test for #3651.Ryan Scott eed3117Take some more care with forcingEdwin Brady ad016d9Termination check fix for 'Inf'Edwin Brady 6dffcc7Fix reporting of infinite unificationEdwin Brady 0ceaa30Deal with interfaces in totality differentlyEdwin Brady 7e93d70Fix enumFromThenToEdwin Brady 03f3980Fix package testing for windows. Fixes #3541Jan de Muijnck-Hughes 61d5865New coverage checkerEdwin Brady ddd53cdAdd a regression test.Matus Tejiscak b0899ccLook deeper when coverage checkingEdwin Brady 1c155dePrint interface constraints as a separate sectionOskar Wickström b9a7352Added test for incorrect FFI C usage.Jan de Muijnck-Hughes 55e72e4Add a test for #3397Echo Nolan 9cc36e8Make totality checker to report partial functions correctly (fix #2884)Vitaly Bragilevsky f851e54Fix error message for unsuccessful namespace disambiguationBartosz Przygoda e0a5a4bUpdate TestDataSteven Shaw 4fd3bd9Add regression002 to test suiteSteven Shaw 666f82eUpdate TestDataSteven Shaw 7ccb0f9Merge pull request #3311 from BartAdv/pkg-optional-mainJan de Muijnck-Hughes 9c32ab6Merge pull request #3282 from steshaw/bug/master/729-layout-ruleJan de Muijnck-Hughes 483fd4fBetter handling of optional main in package filesBartosz Przygoda 2e70b6cAdded test case for System.system (#3281)Steven Shaw e739a25Merge pull request #3279 from steshaw/lines-unlinesJan de Muijnck-Hughes cfab5ecAdd layout001 to tasty test suite.Steven Shaw 3f39e81Rebase to master and add prelude001 to tasty test suite.Steven Shaw 0a11829Spelling only - instanciate => instantiateSteven Shaw 54b94b9Port the test infrastructure to Tastygpyh