git.iko.soy/Idris-dev
on 4afee31 help sign in
4afee31Further refactoring of decl' to allow errors to be propagated correctlyAhmad Salim Al-Sibahi 6a8f0dbRefactored new parser to use considerably less try-statements/lookahead for better performance and error reportingAhmad Salim Al-Sibahi bef8dceUpdate version number to 0.9.9.2Edwin Brady 677799cPropagate function options to case blocksEdwin Brady 7832b65Merge pull request #493 from Melvar/masterEdwin Brady 9b22ccbMerge pull request #492 from ahmadsalim/masterEdwin Brady 41d7fb8Fixed unspecified error on empty module without any declarationsAhmad Salim Al-Sibahi d3bb097Fixed doc comments in multi-line comments bugAhmad Salim Al-Sibahi 2a307a2Fix building without LLVMMelvar Chen 914a765Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady f86ba91Merge pull request #491 from gabemc/feature/environmentEdwin Brady 93ae498Merge pull request #490 from gabemc/issue/121Edwin Brady 73bdc53Refactoring of parser to Trifecta, documenting and updating some items/fixing some issues.Ahmad Salim Al-Sibahi 5e8a597Adding several functions to interact with environment variables.Gabe McArthur a6c2882Removing useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0'Gabe McArthur f39cad9Fix coverage checking for functions matching constantsEdwin Brady 39bc4c4Merge pull request #485 from lambdadomain/masterEdwin Brady 6c723d2Merge pull request #489 from gabemc/issue/331Edwin Brady 9e4a18dMerge pull request #488 from gabemc/masterEdwin Brady c8530b3Modifying the System.getEnv function to return IO (Maybe String)Gabe McArthur f98238cFixing a typo in the --help usage screen.Gabe McArthur 06c4067Merge pull request #487 from tauli/masterEdwin Brady 4ef6ff8Merge pull request #486 from david-christiansen/color-replEdwin Brady 3ab35beUpdate version numberEdwin Brady c55f8c2Unification fix to avoid giving up on recoverable errorsEdwin Brady d9a7b37SimpleParser: improving performance so it is usefull for real world stuffJürgen Peters daab1a3Partially defined names should not reduce at compile-timeEdwin Brady 787832bKeep colour theme on REPL reloadDavid Christiansen 3a8d9dbFinished proof-reading implementation paperEdwin Brady ed8114eUpdated dependencies and types for Haskell llvm bindings v3.3.8.1.lambdadomain 7e1005aMerge pull request #483 from yfyf/indent_errorsEdwin Brady 5203e1bMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 60a441bFix bug in compilation of optimised NatsEdwin Brady ccee056Indent terms printed in typechecking errorsIgnas Vyšniauskas eec1442Merge pull request #482 from tauli/masterEdwin Brady b965bd1Merge pull request #481 from raichoo/masterEdwin Brady c254c61Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 8ae2240(Temporarily) remove java tests from travisEdwin Brady f6fe5eaMerge pull request #480 from david-christiansen/fix-duplicate-libsEdwin Brady 822b518Merge pull request #479 from david-christiansen/repl-persistent-historyEdwin Brady c93a2d4Merge pull request #478 from david-christiansen/repl-initEdwin Brady 723437eSimpleParser: fixed recursive combinatorsJürgen Peters 8000794Final (I hope!) implementation paper tinkeringEdwin Brady d584f74javascript: fix ffiwrap /HT ihmecklerraichoo 3bdf1dbjavascript: prevent name possible name overlapraichoo 93992c3Compile Nat as Int, (and plus/mult/fromInteger)Edwin Brady 0a1b9d8Prevent duplicate dynamic linkingDavid Christiansen 36d05d1CHANGELOG update for REPL historyDavid Christiansen da87313Have the REPL save its history between sessionsDavid Christiansen 3e693f7javascript: positional argumentsraichoo