9a89a8dEliminators working for some type - still experimental. Will create a way to make them work with the elim type classAhmad Salim Al-Sibahi13 years ago a10e866Added data optionsAhmad Salim Al-Sibahi13 years ago 16847d5Merge pull request #670 from walkie/masterEdwin Brady13 years ago 4f1b604Merge pull request #669 from Melvar/showstringEdwin Brady13 years ago 7514bd0Don't need NFData instances for constantsEdwin Brady13 years ago fcfbfaaMake GMP optional (default off)Edwin Brady13 years ago adea8a9Bug fix in integerToFin.Eric Walkingshaw13 years ago 6aeaeb6Add cabal sandbox stuff to .gitignore.Eric Walkingshaw13 years ago ea3b20aFix rendering of LChInt in Java backendMelvar Chen13 years ago 61281efUpdate language-java dependency to 0.2.6Melvar Chen13 years ago 9857679Fix Char literal matching in C codegenMelvar Chen13 years ago 848d5b9Adjust tests to the changed String show instanceMelvar Chen13 years ago 0913bd1Change Show instances for Char and String to match their literalsMelvar Chen13 years ago 9418fe0Add String offsets to VMEdwin Brady13 years ago 73e2e7eMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago a1d811fMerge pull request #666 from jstolarek/fast-parser-compilationEdwin Brady13 years ago 0246f66Merge pull request #664 from sjdrodge/assert_total_cleanupEdwin Brady13 years ago 6625b24Turn off optimisations when compiling parserJan Stolarek13 years ago 5d71e52Replace some Heap proofs with impossible.Stephen Drodge13 years ago 0ea9704Use toNat to avoid %assert_total when negative Int is treated the same as 0.Stephen Drodge13 years ago a17d8d5Remove some of the more easily avoided %assert_totalsStephen Drodge13 years ago 205ad70Tweak reduction rules for private/abstract namesEdwin Brady13 years ago c459480Improve type class overlap checkEdwin Brady13 years ago 0e3d87eMore flexible type class instances (on functions)Edwin Brady13 years ago dbbdbb2Merge pull request #662 from hannesm/error-cleanupEdwin Brady13 years ago 1c19fccMerge pull request #661 from markuspf/bits-const-fixEdwin Brady13 years ago 365d64fFix error reporting: use the right id to report back by installing a catch block just after the id is set in the IState recordHannes Mehnert13 years ago b1537b9Report errors directly, instead of parsing the string given to ihputStrLnHannes Mehnert13 years ago ddac624Add --nobasepkgs flagEdwin Brady13 years ago a338273Remove needless Prelude importsEdwin Brady13 years ago 556d9fbMake sure mpz_t is definedMarkus Pfeiffer13 years ago 90eb6a2Library changes: Please read details below!Edwin Brady13 years ago 8a2804dUse _ if all alternatives are unmatchableEdwin Brady13 years ago d762b28Update CHANGELOGEdwin Brady13 years ago 5521f95Don't allow matching on functions without justificationEdwin Brady13 years ago 543cd7eStrictness improvementsEdwin Brady13 years ago 7041f65Remove needless map in Core/TTEdwin Brady13 years ago 7c1e461Merge pull request #660 from hannesm/no-init-ideslaveEdwin Brady13 years ago 4c58632remove auto-idris, now that the functionality is supported via ideslaveHannes Mehnert13 years ago b8b4644do not run the initscript if in ideslave modeHannes Mehnert13 years ago ca92b19Take out the TODO that's TODONE for classes!Edwin Brady13 years ago 5aebf31Class method types may depend on earlier methodsEdwin Brady13 years ago 772166dUpdate idris.cabal for DecidableEdwin Brady13 years ago 8b8038cMove Decidable.Equality to PreludeEdwin Brady13 years ago a7f86feForgot the Makefile in prelude!Edwin Brady13 years ago ecea329Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago ba6f0efSeparate base into base and preludeEdwin Brady13 years ago 339e7feMerge pull request #654 from Melvar/morestreamEdwin Brady13 years ago 791111aMerge pull request #653 from hannesm/use-DMAKEDEdwin Brady13 years ago 99c0ed7Merge pull request #652 from jfdm/contrib/idrislang.styEdwin Brady13 years ago