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 b6f54eeMerge pull request #651 from hannesm/ideslave-loggingEdwin Brady13 years ago 65ff5feAdd more Stream operations now that we have themMelvar Chen13 years ago a72a39crespect $(MAKE), instead of using hardcoded makeHannes Mehnert13 years ago 873e824We need libs/Makefile too!Edwin Brady13 years ago 2d68066Oops, missed another thing...Edwin Brady13 years ago bcca7ecUpdate cabal to point at the right library dir!Edwin Brady13 years ago 40924dcMoved libraries around, removed 'effects' flagEdwin Brady13 years ago 66277eaUpdated idrislang.styJan de Muijnck-Hughes13 years ago 9c9b38bsend log over the wire if in ideslave mode doesn't capture the Debug.Trace usage in Core (with log level >= 5) yet, unfortunatelyHannes Mehnert13 years ago 0ef9d12do not run server in ideslave modeHannes Mehnert13 years ago 3e2141bMerge pull request #648 from markuspf/float-preludeEdwin Brady13 years ago 7dc4565Remove Prelude/Complex.idr from base.ipkgMarkus Pfeiffer13 years ago a943d33Merge pull request #643 from hannesm/runtime-side-effectsEdwin Brady13 years ago 1e8c2a8Merge pull request #627 from markuspf/llvm-float-prim2Edwin Brady13 years ago 4d70a61Add lib/Data/Floats.idrMarkus Pfeiffer13 years ago