git.iko.soy/Idris-dev
on 694bf20 help sign in
694bf20Functor instance for IO.startling 8a9fed6Applicative instance for IO.startling 934e096moved Monad instances to after the Functor and Applicative ones.startling e876e68made Monad a subclass of Applicative.startling e18fac5Made Applicative a subclass of Functor.startling 7411450moved Functor to its own Prelude submodule.startling 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 bd89fdcSmall change to doc comment syntax (allow spaces before | or ^)Edwin Brady