git.iko.soy/Idris-dev
on 72b9990 help sign in
72b9990Move tests, fix test040Edwin Brady 44fdddaMerge pull request #818 from david-christiansen/changelog-updatesEdwin Brady 3cb1f21Merge pull request #813 from david-christiansen/java-name-manglingEdwin Brady 961f9b4Merge pull request #797 from jfdm/documentationEdwin Brady fee6a00Merge pull request #806 from ziman/import-asEdwin Brady 307efbbCHANGELOG updates for pretty-printerDavid Raymond Christiansen 694832fcontainers constraint for Data.Map.StrictEdwin Brady b5e9afeFix error in Java name manglingDavid Raymond Christiansen 4c2a230Replace error printing for CantSolveGoalEdwin Brady 1e36589Merge pull request #801 from david-christiansen/semantic-pprintEdwin Brady 50c2c53Merge pull request #809 from raichoo/javascriptEdwin Brady bd3d70dRename test038 to test040.Matus Tejiscak 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 e914ae0Add check for module alias clashes.Matus Tejiscak b634841Remove an accidentally added file.Matus Tejiscak b95c609Add the correct expected output for test038.Matus Tejiscak 40e5b77Add test for import-as.Matus Tejiscak 41a6c5eFix namespace ordering.Matus Tejiscak 4d2185bSupport semantic highlighting in IDEslave modeDavid Raymond Christiansen f24a675Add the possibility to "import Module as Alias".Matus Tejiscak 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 878653bUpdated Haddock Documentation.Jan de Muijnck-Hughes f4449c7Add decEq unit testSimon Fowler