a10bcf0Tweak CHANGELOGv0.9.10Edwin Brady13 years ago 969b6aaMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago 3000418Update CHANGELOGEdwin Brady13 years ago 01b1903Merge pull request #682 from tomprince/travis-matrixEdwin Brady13 years ago 8ebc6beAdd some system-level ghc packages.Tom Prince13 years ago 1c6a992Distribute travis builds.Tom Prince13 years ago 027bd15Merge pull request #675 from cgswords/masterEdwin Brady13 years ago 280b265Merge pull request #680 from jfdm/prelude/integralsEdwin Brady13 years ago 3752f8eMerge pull request #679 from jfdm/prelude/charsEdwin Brady13 years ago ab67612Merge pull request #672 from hannesm/fix-668Edwin Brady13 years ago e859a3aMerge pull request #676 from markuspf/fix-enumEdwin Brady13 years ago 58a12c1Totality checker improvements (soundness)Edwin Brady13 years ago ed8d233Partial support for Integral Classes.Jan de Muijnck-Hughes13 years ago cfe6962Added support for more char primitives.Jan de Muijnck-Hughes13 years ago ec3daa4Make sure deferred definitions get totality checkedEdwin Brady13 years ago cbf2b05Fix enumFromTo for Nat, Int, and IntegerMarkus Pfeiffer13 years ago 386753dAdded a --nobanner flag to supress the banner.cswords13 years ago b3bf956When specialising, reduce more namesEdwin Brady13 years ago 5075b24Support for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPLHannes Mehnert13 years ago 77b1fafSwitch on 'elabPE'Edwin Brady13 years ago 1688c44Documented the Chars module and added new functions.Jan de Muijnck-Hughes13 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