git.iko.soy/Idris-dev
on 33d07ac help sign in
33d07acMerge branch 'java-name-mangling' into error-reflectionDavid Raymond Christiansen b5e9afeFix error in Java name manglingDavid Raymond Christiansen 4c2a230Replace error printing for CantSolveGoalEdwin Brady e46603aMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen a2226adMerge remote-tracking branch 'origin/error-reflection' into error-reflectionDavid Raymond Christiansen 8c620dcMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 1e36589Merge pull request #801 from david-christiansen/semantic-pprintEdwin Brady 50c2c53Merge pull request #809 from raichoo/javascriptEdwin Brady e0aa8a4Merge pull request #803 from alexeevg/masterEdwin Brady e63fcefMerge pull request #799 from markuspf/masterEdwin Brady 71ab50eMerge pull request #798 from SimonJF/simpleparser-ipkgEdwin Brady 3cc603cMerge pull request #795 from SimonJF/deceq-strEdwin Brady 9eb64f4Rewrite error printing to use the pretty-printerDavid Raymond Christiansen f3d1adaFix pretty-printing of infix operatorsDavid Raymond Christiansen de72eb9More IDESlave semantic highlightingDavid Raymond Christiansen 7633169javascript: now passes reg016raichoo 126b3ebjavascript: add more tests to test_jsraichoo 69965efjavascript: inliner does not increase performance as expectedraichoo 098ba50javascript: more inliner experimentsraichoo 4b6d184javascript: more work on inlinerraichoo 36204f6javascript: initial code for function inlinerraichoo 566648cjavascript: main and invokeLoop as JSraichoo cb1fab7javascript: eliminate dead casesraichoo ae0ec82javascript: translateDeclaration should not return JSSeqraichoo 8dd968fjavascript: smarter inlinerraichoo 019ba6ejavascript: cleaned upraichoo b059c08javascript: remove allocationsraichoo 4d2185bSupport semantic highlighting in IDEslave modeDavid Raymond Christiansen b837e4bEq and Ord instances for Prelude.VectGleb Alexeyev 13c6effProperly annotate the Type of TypesDavid Raymond Christiansen c0cc1ddMerge remote-tracking branch 'upstream/master' into semantic-pprintDavid Raymond Christiansen dc4ce0cReplace the string-slinging show with pretty-printDavid Raymond Christiansen fe3f03fAdded %error_reverse annotationEdwin Brady 5f0c449Colouring support in the proverDavid Raymond Christiansen 13f3c29Basic functioning with new pretty-printerDavid Raymond Christiansen e1e7b8cCorrect usage informationMarkus Pfeiffer 442733dAdd IPKG for SimpleParserSimon Fowler 803194fArgument options (instead of just a Bool for lazy)Edwin Brady f5974d9Test update for hiding internal errorsDavid Raymond Christiansen 3705a6bMake test038 actually test somethingDavid Raymond Christiansen 7c39186Better debug reports for error reflectionDavid Raymond Christiansen d006e27Improve representation of BigInt reflectionsDavid Raymond Christiansen 0245eefFix reification of NErasedDavid Raymond Christiansen b8d7935Hide original errors upon reflective rewriteDavid Raymond Christiansen f4449c7Add decEq unit testSimon Fowler dd1665bAdd DecEq instance for stringSimon Fowler b4943a2Update error reflection for CantSolveGoalDavid Raymond Christiansen bab6c7bAdd error handlers to IBC filesDavid Raymond Christiansen 887b6e2Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 0ab30e7Restrict error reflection scope to one argumentDavid Raymond Christiansen