git.iko.soy/Idris-dev
on fc504f1 help sign in
fc504f1documentation: added javascript codegen section to tutorialraichoo 4be67f7Allow records in mutual blocksEdwin Brady ff726feMerge pull request #514 from raichoo/javascriptEdwin Brady f2f0eedMerge pull request #511 from raichoo/masterEdwin Brady baf632eMerge pull request #510 from LeifW/universal_target_overrideEdwin Brady d8a8fcfMerge pull request #506 from ahmadsalim/masterEdwin Brady bfc4a91javascript: use optimizer for tailcallsraichoo 6d3e55bjavascript: refactored tailcallsraichoo e391db0javascript: add naive optimizerraichoo 844f927Make --install respect TARGET for .ibc AND objectsLeif Warner d9c3c21javascript: added test 29 to 31 to suiteraichoo 6469b16Fixed Trifecta version to 1.1 until future versions work againAhmad Salim Al-Sibahi 4447a4dChanged structure of parser such that it correctly overloads TokenParsing using some newtype hackery.Ahmad Salim Al-Sibahi fa6f5faRefactored constraint syntax to use less lookaheadAhmad Salim Al-Sibahi d1b5cb9Refactored data declaration to use less lookahead for better errors and some performance improvementAhmad Salim Al-Sibahi 336f5daSome refactoring of bracketed expressions (centralizing most of the expressions). This provides some simplification for future optimization of grammar regrding issue idris-lang/Idris-dev#452.Ahmad Salim Al-Sibahi a88a918Allow eof instead of eol for comments, closes idris-lang/Idris-dev#503Ahmad Salim Al-Sibahi 45e0a55Merge pull request #504 from david-christiansen/with-parserEdwin Brady 27ed67dMerge pull request #501 from david-christiansen/error-reflectionEdwin Brady 4ed09e4Further improve error message on missing parens after withDavid Christiansen 50af5aaMake the parentheses around a with-rule scrutinee mandatoryDavid Christiansen 70a041fAnother minor efficiency gain in elaboratorEdwin Brady 2c588b9Reorder goal search for efficiencyEdwin Brady 4f17e59Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 1d8003dSpeed up elaboration of larger functionsEdwin Brady 7ae55f9Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Christiansen d114d39Add test031 to cabal fileDavid Christiansen 7c041d4Merge pull request #500 from david-christiansen/masterEdwin Brady b31f309Merge pull request #498 from gabemc/build-changesEdwin Brady f70befbUpdate issue tracker URLEdwin Brady 6a98908Merge branch 'master' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-masterEdwin Brady 3a69398Add parser and tests for parser for error reflection extensionDavid Christiansen 3db1e91Added flag for error reflection extensionDavid Christiansen 9bdde71Work around parser bugDavid Christiansen e472447Add datatype for reflected errorsDavid Christiansen dcbf98aAdded note about wiki to READMEDavid Christiansen ce9b19bMerge pull request #496 from david-christiansen/color-replEdwin Brady 34f8c45Merge remote-tracking branch 'origin/color-repl' into color-replDavid Christiansen 195f731Preserve colour themes after :eDavid Christiansen 583cc43Add ability to set ANSI italicsDavid Christiansen fc3f097Removed explanations for comments (as to not say expected comment when something is wrong)Ahmad Salim Al-Sibahi 14ef6f1Reverting the change to the POM template and removing the templating/clenup logic for the Java backend.Gabe McArthur 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 c7cf1f0Refactored the build inside Setup.hs and the various Makefiles.Gabe McArthur 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 2077d29Add ability to set ANSI italicsDavid Christiansen