git.iko.soy/Idris-dev
on master help sign in
history ofccc0f67..master
compare
6f54651Merge pull request #896 from david-christiansen/doc-betterEdwin Brady cefc58cMerge pull request #895 from david-christiansen/semantic-pprintEdwin Brady 38cc304Merge pull request #894 from walkie/masterEdwin Brady 02baa3aMerge pull request #893 from raichoo/javascriptEdwin Brady 7831244Merge pull request #892 from SimonJF/eff-vect-mapEdwin Brady 4e35359Merge pull request #890 from Ralith/fix-unsafe-invariant-loadsEdwin Brady d0343eeMerge pull request #886 from Melvar/append-fixityEdwin Brady f98d138Fix parameter propagationEdwin Brady 7ebefb3increased performance of enumFromTo using tailrecursionraichoo 84004b1Add Eq and Ord instances for ()David Raymond Christiansen ac446bdAdd new regression testEdwin Brady 2cff556Another unification fixEdwin Brady c959fb0Unification changesEdwin Brady c847db7javascript: remove more continuationsraichoo c712ddbActually parse documentation stringsDavid Raymond Christiansen 2c9a945Remove docstrings from things that can't have themDavid Raymond Christiansen 64f55f6javascript: remove empty evalraichoo f2e94fajavascript: inline assignmentsraichoo caf50ddjavascript: implemented eqPtrraichoo b44ae8bjavascript: simplified inlinerraichoo 84db89cjavascript: inline isNullraichoo fa3cca0javascript: added reg031 to test_jsraichoo 9ffb9b8javascript: added isNullraichoo ede6fc4javascript: added proper string translationraichoo de394f4javascript: re-enable optimizationsraichoo cb0f6f4javascript: adapt evaltc on table unfoldraichoo 4dba224javascript: adapt applytc on table unfoldraichoo 72c1c4ejavascript: adapt eval on table unfoldraichoo 83ae8c9javascript: adapt apply on table unfoldraichoo c4323fbjavascript: fix eliminateDeadbranches for conditionsraichoo 407cf60javascript: fix optimized eval and apply callsraichoo 0420433javascript: move constructor decl up after optimizationraichoo 8d55eaejavascript: compile if conditions with noopraichoo 211333cjavascript: revive APPLY optimizationraichoo 9a12d46javascript: revive EVAL optimization during codegenraichoo 88b3fbbFix compilation on WindowsNiklas Larsson 68d9e6eAdd some indentation to functions in :docDavid Raymond Christiansen b3be13bMore accurately find argument types in :docDavid Raymond Christiansen e20a6bfMore reliably find argument names in :docDavid Raymond Christiansen 791bd36Use the pretty-printer to show :docDavid Raymond Christiansen b82f552Improve pretty-printing of function applicationsDavid Raymond Christiansen eea7c61Flatten tuples to right in pretty printerDavid Raymond Christiansen bbc4037Add index and index' to List.Eric Walkingshaw 5d4f534Remove pessimisation from DefunctionalisationEdwin Brady 57aaa5eAdd mapVE for mapping over Vects in EffSimon Fowler 96d5cb0Update CHANGELOGEdwin Brady 433ddf3Merge pull request #889 from raichoo/typed-lazinessEdwin Brady bf2b29eFix some load instructions being incorrectly marked as invariant for LLVMBenjamin Saunders 7c9cc16Remove conflicting fixity declarationMelvar Chen fb3c24cMake EVAL and APPLY smallerEdwin Brady