8d090c0A couple of small improvements to termination checking * inlining to help out * %assert_total doesn't allow inlining so as not to break totality for functions which rely on the asserted function * bug fix for mutual recursion - build size graphs before doing any totality checkingEdwin Brady14 years ago d087deaAdded a function, 'range', that returns all of the elements of a finite set, in order, in a vectorDaniel Waterworth14 years ago 34392c9Added a function, 'last', that returns the last element in a finite setDaniel Waterworth14 years ago f383b59Added zip and unzip definitions for VectDaniel Waterworth14 years ago bf1c22eMake traverse_ totalEdwin Brady14 years ago 0a70480Merge branch 'type' of https://github.com/raichoo/Idris-dev into raichoo-typeEdwin Brady14 years ago 7ef4be9Mark traverse_ partialEdwin Brady14 years ago 5eac0eeMerge pull request #128 from startling/record-docEdwin Brady14 years ago 2b30118Merge pull request #130 from startling/alternativeEdwin Brady14 years ago b88e7f2Merge pull request #133 from ozgurakgun/fix-linesEdwin Brady14 years ago dd5001fmake TT aware of Set -> Typeraichoo14 years ago 6f1f358lines isn't wordsOzgur Akgun14 years ago 811a3cdRewrote 'mapM' and 'mapM_' as 'traverse' and 'traverse_'.startling14 years ago e75227bWe no longer need MonadPlus, now that we've got Alternative.startling14 years ago 583c726infixl declaration for (<|>).startling14 years ago bdef7ec'sequence' and 'sequence_' don't need Monad, either.startling14 years ago 112f92aDefined (<$) and ($>), analogous to Haskell's (<*) and (*>)startling14 years ago 4f93ab6You know, 'when' doesn't need Monad either.startling14 years ago 376b4b5Alternative instances for Maybe and Liststartling14 years ago 2d17b67"guard" doesn't need MonadPlus, just Alternative.startling14 years ago 314bcf1Defined Alternative.startling14 years ago 12f7a82Allow documentation comments for records.startling14 years ago 55a55ccUpdate display of Set to TypeEdwin Brady14 years ago 7fefa89PSet -> PTyperaichoo14 years ago e4da568Take more care when expanding names in nested parameter blocksEdwin Brady14 years ago 9070208Update CHANGELOGEdwin Brady14 years ago cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady14 years ago bdf11e8Better IO + faster compilation by avoiding needless cases in EVAL/APPLYEdwin Brady14 years ago 01e4d9cBelieve '%assert_total' for coverage checkingEdwin Brady14 years ago 267f044Improve case compilation by checking most distinct argument firstEdwin Brady14 years ago ce9fa93Compile to nested if rather than switch for small casesEdwin Brady14 years ago 47fb39aMerge pull request #122 from LeifW/monoid_instance_for_stringEdwin Brady14 years ago 19ef940Merge pull request #120 from DanielWaterworth/masterEdwin Brady14 years ago 686d19dMerge pull request #118 from raichoo/parserEdwin Brady14 years ago 7245290Some tiny RTS optimisationsEdwin Brady14 years ago 7e137a9Add a Monoid instance for String.Leif Warner14 years ago 3b578c9Bugfix, trivial typoDaniel Waterworth14 years ago c101721Fix Integer matching bugEdwin Brady14 years ago 441f51dpossible fixes for missing type signature in data declsraichoo14 years ago ed85b4eerror messages with possible fixesraichoo14 years ago 6f23ad0Add version requirement for parsecEdwin Brady14 years ago 2c58ebaFix elaboration of higher order dependent function types Fixes issue #116Edwin Brady14 years ago 5803d2bRemove reference to W32 (temporarily)Edwin Brady14 years ago bbbe563Merge pull request #114 from raichoo/wordEdwin Brady14 years ago d1ee911Merge pull request #115 from DanielWaterworth/dump_bytecodeEdwin Brady14 years ago e3d393cAdded the ability to dump bytecode to a fileDaniel Waterworth14 years ago 5d4c45fWhitespace fixDaniel Waterworth14 years ago c4e7ba2Made generating C headers more declarativeDaniel Waterworth14 years ago f6451efword 8/16 primitive typesraichoo14 years ago a41e971Fix Util.System so that it compiles again...Edwin Brady14 years ago