git.iko.soy/Idris-dev
on fddebca help sign in
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 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 fa70338javascript: refactor eval generationraichoo 10d4cd6javascript: hardwired apply lookuptableraichoo feafceajavascript: apply lookuptableraichoo ce6bd98javascript: minor cleanupraichoo fbeeb45javascript: whitespaceraichoo e5d412ejavascript: added lookuptable namespaceraichoo a8abc5ajavascript: EVAL lookup tableraichoo 8cd9f56javascript: get rid of translateParameterraichoo 3d72873javascript: factor out jsDeclraichoo 186cc36javascript: factor out translateCaseraichoo 3109b51javascript: factor out translation of declsraichoo 954dd00Merge pull request #457 from Ralith/patch-1Edwin Brady 417f040Merge pull request #455 from Ralith/atomic-allocsEdwin Brady 2aa64bdCorrect documentation for --cpuBenjamin Saunders 2f8a33aUse atomic allocations when safe in LLVM codegen.Benjamin Saunders 2d8e573Move universe level check to after all modules are loaded ...otherwise it gets repeated needlessly for every moduleEdwin Brady 8f8ab98Remove unused syntax for 'InferRef' definitions Was only meant to be temporary! (InferRef are names in where clauses whose types are to be inferred)Edwin Brady 84c4db0Merge pull request #453 from Melvar/repl-initial-whitespaceEdwin Brady efa3f8fIgnore initial whitespace and comments in REPLMelvar Chen db84f5eMerge pull request #451 from Ralith/rts-cleanupEdwin Brady 6633a45Merge pull request #450 from raichoo/vimEdwin Brady 39e4241Merge pull request #448 from ziman/tutorial-typoEdwin Brady