e391db0javascript: add naive optimizerraichoo13 years ago 844f927Make --install respect TARGET for .ibc AND objectsLeif Warner13 years ago d9c3c21javascript: added test 29 to 31 to suiteraichoo13 years ago 6469b16Fixed Trifecta version to 1.1 until future versions work againAhmad Salim Al-Sibahi13 years ago 4447a4dChanged structure of parser such that it correctly overloads TokenParsing using some newtype hackery.Ahmad Salim Al-Sibahi13 years ago fa6f5faRefactored constraint syntax to use less lookaheadAhmad Salim Al-Sibahi13 years ago d1b5cb9Refactored data declaration to use less lookahead for better errors and some performance improvementAhmad Salim Al-Sibahi13 years ago 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-Sibahi13 years ago a88a918Allow eof instead of eol for comments, closes idris-lang/Idris-dev#503Ahmad Salim Al-Sibahi13 years ago 45e0a55Merge pull request #504 from david-christiansen/with-parserEdwin Brady13 years ago 27ed67dMerge pull request #501 from david-christiansen/error-reflectionEdwin Brady13 years ago 4ed09e4Further improve error message on missing parens after withDavid Christiansen13 years ago 50af5aaMake the parentheses around a with-rule scrutinee mandatoryDavid Christiansen13 years ago 70a041fAnother minor efficiency gain in elaboratorEdwin Brady13 years ago 2c588b9Reorder goal search for efficiencyEdwin Brady13 years ago 4f17e59Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago 1d8003dSpeed up elaboration of larger functionsEdwin Brady13 years ago 7ae55f9Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Christiansen13 years ago d114d39Add test031 to cabal fileDavid Christiansen13 years ago 7c041d4Merge pull request #500 from david-christiansen/masterEdwin Brady13 years ago b31f309Merge pull request #498 from gabemc/build-changesEdwin Brady13 years ago f70befbUpdate issue tracker URLEdwin Brady13 years ago 6a98908Merge branch 'master' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-masterEdwin Brady13 years ago 3a69398Add parser and tests for parser for error reflection extensionDavid Christiansen13 years ago 3db1e91Added flag for error reflection extensionDavid Christiansen13 years ago 9bdde71Work around parser bugDavid Christiansen13 years ago e472447Add datatype for reflected errorsDavid Christiansen13 years ago dcbf98aAdded note about wiki to READMEDavid Christiansen13 years ago ce9b19bMerge pull request #496 from david-christiansen/color-replEdwin Brady13 years ago 34f8c45Merge remote-tracking branch 'origin/color-repl' into color-replDavid Christiansen13 years ago 195f731Preserve colour themes after :eDavid Christiansen13 years ago 583cc43Add ability to set ANSI italicsDavid Christiansen13 years ago fc3f097Removed explanations for comments (as to not say expected comment when something is wrong)Ahmad Salim Al-Sibahi13 years ago 14ef6f1Reverting the change to the POM template and removing the templating/clenup logic for the Java backend.Gabe McArthur13 years ago c7cf1f0Refactored the build inside Setup.hs and the various Makefiles.Gabe McArthur13 years ago 2077d29Add ability to set ANSI italicsDavid Christiansen13 years ago 4fcacceUpdate for idris 0.9.8.1Benjamin Saunders13 years ago 134eef4somethingBenjamin Saunders13 years ago fb9af01Read from standard inputBenjamin Saunders14 years ago ca7d80aBasic solver workingBenjamin Saunders14 years ago