git.iko.soy/Idris-dev
on 17d2cea help sign in
17d2ceaFix for expansion of types in parameters blocksEdwin Brady b939fbdMerge pull request #91 from raichoo/masterEdwin Brady 0c33cf1fixed bug in showImpraichoo 7af45b4Fix error in case tree optimisation (hence fix issue #70)Edwin Brady 2856967Normalise LHS before compilation ...otherwise in some situations the forcing optimisation may lead to uncompilable codeEdwin Brady 4ddbc65Fix bug in lifting of with clauses Need to make sure _ remains _ on lifting - stray variables were creeping in after 'match'.Edwin Brady 11d1aa3Add Prelude.Function to module list in base.ipkgEdwin Brady 7ee208cMerge pull request #89 from startling/class-hierarchyEdwin Brady 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 77e407eFunctor and Applicative instances for Process.startling 09615d5Applicative and Functor instances for CGI.startling cb5da0aFunctor instance for Homomorphism.startling f6a62bfput Homomorphism's Applicative instance before its Monad instance.startling 455b962an Applicative instance for StateT s f where f is a Monad.startling 015200aFunctor instance for StateT.startling d13c4baFunctor and Applicative instances for Identity.startling 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