f38190dMove floating point operations out of PreludeMarkus Pfeiffer13 years ago a9f9b05Add test033/run, test034/run to cabal fileMarkus Pfeiffer13 years ago 167a24dRe-enable calling terminate(vm) for its side effects (was commented out in dce3569681698ca70edfa306e39dc94a1b1c1025)Hannes Mehnert13 years ago d33d0bfMerge branch 'feature/cwarnings-removal' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/cwarnings-removalEdwin Brady13 years ago abf234dThere are no .idr files in test034Markus Pfeiffer13 years ago 01078f2Merge pull request #641 from ahmadsalim/feature/metavarprooffixEdwin Brady13 years ago 27a6ec7Merge pull request #640 from david-christiansen/color-theme-default-optionEdwin Brady13 years ago 32852afMerge pull request #638 from david-christiansen/issue/328Edwin Brady13 years ago 6c0ae32Merge pull request #637 from ahmadsalim/feature/pparser-trifectaEdwin Brady13 years ago 9a1b66fAdd forgotten moduleDavid Christiansen13 years ago 1e6c727Disallow proving of top-level declarations and other meta-variables, fixes idris-lang/Idris-dev#46Ahmad Salim Al-Sibahi13 years ago 4ec6896Work around the brokenness of Nat.div wrt 0David Christiansen13 years ago aadfef8Allow the use of the default foreground colour. Make it the colour of the prompt.David Christiansen13 years ago dce3569Remove C warnings when compiling with a proper compilerAhmad Salim Al-Sibahi13 years ago fcc4c0aAdded note about changes to [..] in the CHANGELOGDavid Christiansen13 years ago e24ce58Disambiguate StreamDavid Christiansen13 years ago 8856187Merge pull request #635 from hannesm/cleanupsEdwin Brady13 years ago 171b8f9Total version of the [a..b] and [a,b..c] syntax.David Christiansen13 years ago 8e974c7Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependenciesAhmad Salim Al-Sibahi13 years ago a38ac1aFix test002Edwin Brady13 years ago d6b1930* Use cc as C compiler, instead of hardcoding gcc. * Do not use -isystem (not needed, and breaks building the runtime with clang) * Make clang happier when building the runtimeHannes Mehnert13 years ago 254a452Add tests test033 and test034 to cabal fileMarkus Pfeiffer13 years ago f6d3e1cReinstate universe checking in test002Edwin Brady13 years ago c5444acMake runtest.pl execute run scripts directlyMarkus Pfeiffer13 years ago 17de459Add floating point primitives to LLVM backendMarkus Pfeiffer13 years ago 76a3fdaMerge pull request #632 from david-christiansen/issue/592Edwin Brady13 years ago 8108951Merge pull request #630 from hannesm/freebsd-supportEdwin Brady13 years ago f187cc6Merge pull request #629 from david-christiansen/issues/617Edwin Brady13 years ago 659bc7cMerge pull request #626 from david-christiansen/hannes-ideEdwin Brady13 years ago 1c0b43fSemantic colouring for :totalDavid Christiansen13 years ago a269492Disambiguate when printing totality information.David Christiansen13 years ago b23ac6eSupport for FreeBSDHannes Mehnert13 years ago d1663ccMissing fixity declarations for infix operator functions is now a parser error.David Christiansen13 years ago 0927e78minor cleanup; switch to idris-lang github urlHannes Mehnert13 years ago bfa39bfMerge pull request #625 from markuspf/fix-testsEdwin Brady13 years ago 95406f1Re-insert the missing newlines in :t for metavarsDavid Christiansen13 years ago 6fb995dsupport for add-proof-clause in IdeSlaveHannes Mehnert13 years ago f6edbf0support for add-missing, make-with-block and proofsearch for ideslaveHannes Mehnert13 years ago b36dfcdReset test runscripts to mode 0755Markus Pfeiffer13 years ago 36b477eMerge pull request #621 from hannesm/cleanupEdwin Brady13 years ago dbe880csupport for add-clause in IdeSlaveHannes Mehnert13 years ago 40611beImplement CaseSplit in IdeSlaveHannes Mehnert13 years ago 8325f1aMerge pull request #622 from markuspf/fix-testsEdwin Brady13 years ago 6412ae4Implement type-of ideslave command, which uses Check in the backgroundHannes Mehnert13 years ago 98e8963Merge pull request #619 from LeifW/diagnostic_on_repl_network_denyEdwin Brady13 years ago 292ddeeMerge pull request #620 from david-christiansen/issue/607Edwin Brady13 years ago 3558c7cChange from shebangs with absolute references to using /usr/bin/envMarkus Pfeiffer13 years ago 23772e9Remove "CaseSplit" constructor and implementation which could never be called (the REPLParser uses CaseSplitAt). Furhermore, we no longer need to export "split" from CaseSplit.hsHannes Mehnert13 years ago 8b91e60Make --ideslave imply --nocolourDavid Christiansen13 years ago f18d79cRemove calls to "error". Fixes #607.David Christiansen13 years ago