be90757Make `div` and `mod` behave consistentlyAlex Queiroz9 years ago 19624c7Support backticked operators in sections (#4119)Jason Felice9 years ago ecc7bebMerge branch 'master' into js_iorefRui Barreiro9 years ago 01fdc75added c test using modifyIORef'Rui Barreiro9 years ago 3f7ae18Pass directives to C backend in given order (#4078)Alex Queiroz9 years ago 6d954d8Merge pull request #4073 from rbarreiro/exportiface_jsNiklas Larsson9 years ago 24e5a52turned off basic021 test on node, there is no way a foreign FFI_C call will work on javascriptRui Barreiro9 years ago 85707ceUnused importsJason Felice9 years ago 176b8ffMerge branch 'exportiface_js' of github.com:rbarreiro/Idris-dev into exportiface_jsRui Barreiro9 years ago 2eea508fixed point free functions, IO returning functions and added a test, all for js interfaces functionalityRui Barreiro9 years ago 921ac8fAdded Data.IORefEdwin Brady9 years ago 07b7138Merge pull request #4062 from steshaw/private-functionsEdwin Brady9 years ago f436c5fExpose `@` patterns to where functions (#4057)Jason Felice9 years ago 1f1155cDisable interactive017 (again).Steven Shaw9 years ago f047221Add (broken) test case for "private functions"Steven Shaw9 years ago 52c103fEnable test interactive017.Steven Shaw9 years ago 532ef6cMerge branch 'master' into fix/master/1211Edwin Brady9 years ago 416251fFixes #1211 : checking default impl in interfaces through parent constraints recursivelymandubian9 years ago cfd6084added test for js_unexpected_con_as_glob issue #3923Rui Barreiro9 years ago b9bad2dAdd tests for interactively adding a missing clauseMatthias Heinzel9 years ago fb55d38added a test for javascript ffi passing functionsRui Barreiro9 years ago 1f273b9Don't run the :exec test using the JS code generatorJonas De Vuyst9 years ago fa0d47cAdd test for :exec (+ fix for test/README.md)Jonas De Vuyst9 years ago aa0abbcPay attention to 'Force' in totality checkingEdwin Brady9 years ago 515ac42Interpreter tests (#3747)Chris Ford10 years ago 4a10e27Add Data.BufferEdwin Brady10 years ago a89330eChange meaning of 'data' in interfacesEdwin Brady10 years ago 95d226fFix a proof of VoidEdwin Brady10 years ago 3f0d399Add regression test for #3651.Ryan Scott10 years ago eed3117Take some more care with forcingEdwin Brady10 years ago ad016d9Termination check fix for 'Inf'Edwin Brady10 years ago 6dffcc7Fix reporting of infinite unificationEdwin Brady10 years ago 0ceaa30Deal with interfaces in totality differentlyEdwin Brady10 years ago 7e93d70Fix enumFromThenToEdwin Brady10 years ago 03f3980Fix package testing for windows. Fixes #3541Jan de Muijnck-Hughes10 years ago 61d5865New coverage checkerEdwin Brady10 years ago ddd53cdAdd a regression test.Matus Tejiscak10 years ago b0899ccLook deeper when coverage checkingEdwin Brady10 years ago 1c155dePrint interface constraints as a separate sectionOskar Wickström10 years ago b9a7352Added test for incorrect FFI C usage.Jan de Muijnck-Hughes10 years ago 55e72e4Add a test for #3397Echo Nolan10 years ago 9cc36e8Make totality checker to report partial functions correctly (fix #2884)Vitaly Bragilevsky10 years ago f851e54Fix error message for unsuccessful namespace disambiguationBartosz Przygoda10 years ago e0a5a4bUpdate TestDataSteven Shaw10 years ago 4fd3bd9Add regression002 to test suiteSteven Shaw10 years ago 666f82eUpdate TestDataSteven Shaw10 years ago 7ccb0f9Merge pull request #3311 from BartAdv/pkg-optional-mainJan de Muijnck-Hughes10 years ago 9c32ab6Merge pull request #3282 from steshaw/bug/master/729-layout-ruleJan de Muijnck-Hughes10 years ago 483fd4fBetter handling of optional main in package filesBartosz Przygoda10 years ago 2e70b6cAdded test case for System.system (#3281)Steven Shaw10 years ago