git.iko.soy/Idris-dev
on 809c283 help sign in
809c283Merge pull request #90 from raichoo/parserEdwin Brady ab3931aMerge pull request #88 from raichoo/vimEdwin Brady bbe9dc1Minor fixes for inlining and integer literalsEdwin Brady f0794c6vim: highlight impossibleraichoo 92f3139eof should close all open blocksraichoo 40ce0cabetter fixity error messageraichoo c9e0444show actual ParseError messageraichoo 3d74fb2Merge pull request #85 from startling/some-instancesEdwin Brady 38bb874Merge pull request #86 from raichoo/fixityEdwin Brady 758d56aMinor CG changes remove 'replace' calls, and be more careful with --nocoverageEdwin Brady ff56693prevent different fixity declarationsraichoo 1c096fcApplicative instance for List.startling 04642a8Applicative instance for (Either e)startling 894a847Functor instance for (Either e).startling 4043a0cMonad instance for (Either e)startling 28ba8debetter lookup for operatorsraichoo eea2d4aMerge pull request #83 from raichoo/masterEdwin Brady a777c93Change 'abstract' rule for records Still have access to field names, but not constructor nameEdwin Brady 44dd3beAdd isNL/linesEdwin Brady 64fc043Fix overenthuiastic unused argument removal problem (Wasn't checking case analysis where the scrutinee was the result of a projection)Edwin Brady 2616a69Fix call graph generationEdwin Brady 48d58e6Merge pull request #84 from raichoo/fixityEdwin Brady 39e0fbaadded fixity of operators to :doc outputraichoo 56223efDon't normalise everywhere!Edwin Brady 9ae8e39added Eq instance for Boolraichoo b31ae8bvim: added assert_total to highlighterraichoo 6e7b7cbvim: readded partial to highligherraichoo 449bb27Fix allocation of big integersEdwin Brady f9678b7Remove priority ordering on function arguments Should no longer be necessary since unification is improved, and causes problems when it guesses wrong.Edwin Brady b3e01d0Merge pull request #82 from raichoo/vimEdwin Brady 1b6cc6aFix parameter block expansionEdwin Brady c4d89d1mark bad whitespacesraichoo ca684b6Fix pToV scoping bugEdwin Brady f91a45aMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 1a86305Make believe_me abstractEdwin Brady 83fdb4dMerge pull request #73 from raichoo/libEdwin Brady d530abeMerge pull request #80 from raichoo/fixEdwin Brady 718a040Add reg003 testsEdwin Brady aa0693eDisambiguate catch explicitly in CodegenCommonEdwin Brady f855d0fFix a few missing module referencesBenjamin Saunders 6398a7eAdd argument passing to new testsBenjamin Saunders f50f006Expand backend control options and infrastructureBenjamin Saunders 2c6ad9bInfrastructure for passing of parameters to idris during testsBenjamin Saunders 96db606Cleaner data constructor argument pointer storage in RTSBenjamin Saunders f9a1dabFix pattern variable problem when patterns generated by unificationEdwin Brady d90165ecoverage fix for unhandled casesraichoo 27df3e0extended morphisms/categories/arrowsraichoo 2b7db6aFix 'where' lifting bug Make sure functions have unique names when liftedEdwin Brady 379c0f9Added missing test018a.idrEdwin Brady 10a1154Merge pull request #71 from raichoo/masterEdwin Brady