git.iko.soy/Idris-dev
on 60abf37 help sign in
60abf37Merge pull request #794 from david-christiansen/error-reflectionEdwin Brady 380e1caMerge branch 'master' into error-reflectionDavid Raymond Christiansen 3e07c44Merge pull request #817 from raichoo/javascriptEdwin Brady 102f888Pretty printing of "Can't disambiguate" errorEdwin Brady 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 621f8c1javascript: remove redundant instanceof checksraichoo 6a1e21ejavascript: optimize apply tailcallsraichoo dac0a39javascript: optimize eval tailcallsraichoo 694832fcontainers constraint for Data.Map.StrictEdwin Brady 9349d9cjavascript: elim some duplicate evalsraichoo d37c3d4javascript: improved jsSubstraichoo 33d07acMerge branch 'java-name-mangling' into error-reflectionDavid Raymond Christiansen b5e9afeFix error in Java name manglingDavid Raymond Christiansen 33f8c83javascript: elim dead cases in a loopraichoo 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 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