git.iko.soy/Idris-dev
on master help sign in
history of60abf37..master
compare
24d7698javascript: fix backend to support new inlinerraichoo 28854ccMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady f2f050aMerge pull request #1485 from gavlegoat/masterEdwin Brady 727b6a9Merge pull request #1486 from edwinb/nulltypeEdwin Brady 02fdc66Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady d2f95b0Really fix output of unique001a...Edwin Brady 773ff9aFix output of unique001aEdwin Brady c55895dFix universe errors, update testsEdwin Brady 7e7368dStore kind in Pi bindersEdwin Brady dd71249Merge pull request #1487 from raichoo/masterraichoo f905a79javascript: lift out node backendraichoo 31de6bejavascript: lift out javascript backendraichoo 120b1c3Add unique002 testEdwin Brady 75783a6Fix rules for checking Borrowed typesEdwin Brady bdf04adAdded documentation to Control/Monad filesGreg 1a43dbfMerge pull request #1484 from edwinb/nulltypeEdwin Brady ddf9779Fix borrowed type checkEdwin Brady b37dcbeAdd missing testEdwin Brady bc2bcb6Add Borrowed typesEdwin Brady f2a9099Merge pull request #1478 from edwinb/uniquenessEdwin Brady 8fd6813Disable primitives003 test in LLVM back endEdwin Brady 92b02ccTMP: Turn off inliner since it breaks JS backendEdwin Brady e30ff97Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 67d3a56Merge pull request #1469 from defanor/bytecode-commentsEdwin Brady a570354Fix LLVM build problemEdwin Brady a915a3aMerge pull request #1479 from david-christiansen/issue/1477David Christiansen ae1aed9Add completion support for newer command arg typesDavid Raymond Christiansen 8a108b4Merge pull request #1475 from david-christiansen/testing-postulates-workDavid Christiansen ce26633Don't keep allocating nullary constructorsEdwin Brady 8353de5Find updatable constructors after destructive caseEdwin Brady 91bbae7More informative provider errorDavid Raymond Christiansen b0e53f8Support the RTS function idris_time in executorDavid Raymond Christiansen b7316b7Better errors from executorDavid Raymond Christiansen 09e5383Require that arguments to case blocks be reducedDavid Raymond Christiansen a1fb7a3Inline with blocksEdwin Brady 5695e4cDo some inlining in Lang IREdwin Brady 2aaff41Stop erasing binder types in executorDavid Raymond Christiansen 51a9b69Open files in binary modeDavid Raymond Christiansen e5d1956Propagate constructor updates to bytecodeEdwin Brady cdbfec9Propagate CaseType through IRsEdwin Brady 218c735Mark 'case' on unique types as updatableEdwin Brady 9abbc3fCache uniqueness information in NameTypeEdwin Brady 41e9032Check constructor kinds for uniqueness errorsEdwin Brady 7cc7c32Make top level type 'Type*'Edwin Brady 9ceece1EXPERIMENTAL uniqueness typesEdwin Brady 5ac844ecommented BC in Bytecode.hsdefanor 42dbdbeMerge pull request #1470 from edwinb/masterEdwin Brady 4c17201Merge pull request #1468 from shlevy/document-check-optionEdwin Brady a523c20Fix parameter identificationEdwin Brady da7470bDocument --check in --helpShea Levy