git.iko.soy/Idris-dev
on master help sign in
history ofb70780f..master
compare
911f5d7Add newer tests to idris.cabalEdwin Brady 2a0885eBetter representation and rendering of generated namesEdwin Brady 43878f4Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady df41e3dGive a bit more context for error messagesEdwin Brady 8372f21Merge pull request #472 from darinmorrison/masterEdwin Brady e8f4bb1Some packaging fixesEdwin Brady 966ef43Check for duplicates when adding object files/libs/flagsEdwin Brady 00cc44dPaper typo fixEdwin Brady af4fda7%flag directiveEdwin Brady 81425d2Add skeleton of inlinerEdwin Brady 1931074Prevent io_bind reducing at REPLEdwin Brady ce57b45Ignore Mac OS X .DS_Store filesDarin Morrison 0c138b9Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 675cfacMerge pull request #471 from david-christiansen/color-replEdwin Brady ddc137eColourise some error messagesDavid Christiansen 3fcbff5A little reorganisation of clauses elaboration To be more clear which case tree is whichEdwin Brady 96d05c0Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady f1c3c75Merge branch 'color-repl' of https://github.com/david-christiansen/Idris-dev into david-christiansen-color-replEdwin Brady 95e89f5Merge pull request #467 from Melvar/masterEdwin Brady a063bfaSome refactoring in CaseOp Separate case trees for totality checking, compile time and run time and lift into their own data structure, so that it's clear which one to use when.Edwin Brady bd70f22Update CHANGELOG for colours in REPLDavid Christiansen fddebcaHave :t colourise the left side of the colonDavid Christiansen 52073d1Make --quiet imply --nocolourDavid Christiansen c0342c7Add command line option to control REPL coloursDavid Christiansen 6c14565Move colourisation to a separate moduleDavid Christiansen 7226659Colourise implicit params with underlineDavid Christiansen f48e88fColourisation fix for replDavid Christiansen b762f14Basic colourisation in REPLDavid Christiansen ffb9ea9Semantic colouring of identifiers in REPLDavid Christiansen 77f9051More minor impl-paper edits and typo fixesEdwin Brady 1d4d226Optimise datatypes with one constructor and one argument No need to pack them up (because we're strict!) so just treat them as a newtype would be in Haskell.Edwin Brady 7196cadFix optional combinator in SimpleParserMelvar Chen 87265a9Merge pull request #466 from Melvar/repl-linebufferingEdwin Brady f59ae21Set line buffering on stdout in REPL setupMelvar Chen 00b401cFix some implementation paper typosEdwin Brady f9f1885Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 959e7b1Tweak scoping rules in 'where' Check whether function names are rebound in patternsEdwin Brady 8be6b35Merge pull request #463 from tauli/masterEdwin Brady cacf215Merge pull request #464 from cheepnis/masterEdwin Brady 8eb2087Separate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #325Edwin Brady 96d65datutorial: replace some leftover occurrence of fOMarkus Pfeiffer ef93607SimpleParser: optional combinator addedJürgen Peters 20d32ccmore concise implementaiton of combinatorsJürgen Peters bb7d01fadded combinators to SimpleParserJürgen Peters 5ce8ee7Fix shadowing bug with dependent pair bindingsEdwin Brady 35268c1Some paper updates, getting final version readyEdwin Brady 6dc5ea2Fix name shadowing in whereEdwin Brady 0aca9f2New module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging around when building packages, and has required some fixes to imports in the library.Edwin Brady 205ebd0Merge pull request #462 from raichoo/javascriptEdwin Brady 7a14698javascript: refactor apply generationraichoo