git.iko.soy/Idris-dev
on 0abbd53 help sign in
0abbd53rename abort -> error, emacs-rex -> idrisHannes Mehnert 52f5e73completions for REPLHannes Mehnert 79b8732output should be (output result)Hannes Mehnert a3c8020make this a bit more useful, and use same protocol as emacs side :)Hannes Mehnert b7710bccatch errors during receive and report themHannes Mehnert 1b65f6ause process in ideslave loopHannes Mehnert c458007minor cleanupsHannes Mehnert e0783efinitial ideslaveHannes Mehnert 56bd9a1Look through call graph for mutual recursion when productivity checking Otherwise we might miss non-productive calls, particularly important when using 'with'. Fixes issue #183Edwin Brady 3149de0Coinductive types do not get smaller! Fix size change graph builder.Edwin Brady 0a4f002Productivity check fix Guardedness check didn't actually check it was under a constructor!Edwin Brady 4ed62ccFix missing files in idris.cabalEdwin Brady 700759fCache missing cases found by totality checker, for display Now :missing works correctly (fixes issue #210) Also, remove a large chunk of unused code in coverage checker.Edwin Brady ca9d435Install in .travis.ymlEdwin Brady c3b58d6Use make test in .travis.ymlEdwin Brady bc38aaeMerge pull request #310 from hannesm/use-compiled-idris-instead-of-installedEdwin Brady ee3da18Build in .travis.ymlEdwin Brady faad05cInstead of using the installed global idris for tests, pass the PATH to the current compiled one to test and use thisHannes Mehnert 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady 977c987Merge pull request #302 from raichoo/vimEdwin Brady ef1bbd9Merge pull request #300 from david-christiansen/providersEdwin Brady 8f03153Merge pull request #299 from david-christiansen/sqliteEdwin Brady 8fed722Merge pull request #294 from bitlisp/unified-int-primitivesEdwin Brady 0029900Look in the environment before the definitions in executorDavid Christiansen d0e54d1vim: remove bad whitespace highlightraichoo 350cc02Fixed semantics of isNull emulation to properly wrap in IODavid Christiansen d1de0f4More primitivesDavid Christiansen 93fa7ceAdded isNull emulation plus another primitiveDavid Christiansen f5f2bd3Add the RTLD_GLOBAL option to dlopenDavid Christiansen ace080cFirst check for exact filename when dynamically loading C libDavid Christiansen c6540d0Build SQLite interface as shared library for dynamic loadingDavid Christiansen 308efeaFriendly smart constructors for foreign integer typesBenjamin Saunders fadeecdFix Core.Execute to use IRTS.Lang.FTypeBenjamin Saunders b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders 943b653Merge branch 'MixingImplicitArgs' of https://github.com/JanBessai/Idris-dev into JanBessai-MixingImplicitArgsEdwin Brady 8c25808Merge pull request #297 from david-christiansen/proofutilsEdwin Brady c8ba164Merge pull request #296 from david-christiansen/sqliteEdwin Brady 1f562fcMerge pull request #295 from david-christiansen/boundedlistEdwin Brady 2fc3c3aFix idris.cabal and base.ipkg to include Data.Vect.*Edwin Brady ce39374Merge branch 'vect-quantifiers' of https://github.com/bitlisp/Idris-dev into bitlisp-vect-quantifiersEdwin Brady dfe8de8Merge pull request #292 from raichoo/javascriptEdwin Brady df64a42Merge pull request #291 from raichoo/masterEdwin Brady a0308f1Parser improvement to allow mixing of implicit and non implicit ArgumentsJan Bessai 18da492Minor formatting and readability updatesDavid Christiansen eee4731Minor style and readability updatesDavid Christiansen 979be1fFormatting improvementsDavid Christiansen be74d60Reflection utilitiesDavid Christiansen 8b7db47Linux compatibility and Idris updatesDavid Christiansen dfbb3dbUpdated bounded listsDavid Christiansen 2572b10Parameterized integer FFIBenjamin Saunders