git.iko.soy/Idris-dev
on aa7262e help sign in
aa7262ePut deferred names in the right namespaceEdwin Brady f833918(Experimental) Create deferred definitions by applicationEdwin Brady e23c029Allow type annotations on let tacticEdwin Brady 160eeddMerge pull request #101 from chetant/windowsEdwin Brady 51f3340Merge pull request #99 from raichoo/masterEdwin Brady d9d8968Merge pull request #100 from raichoo/vimEdwin Brady bb9a3adtypo fix in git attributes, adding test results to gitignorechetant fab5d73Adding support for Windows MingW32chetant af66f58vim: added postulate to highlighterraichoo 430eab9Allow postulates in where/parameters blocksEdwin Brady b1cdd04Added postulate declarations postulate foo : type -- 'type' must return something of a collapsible type, i.e. a type with at most one instancei determined entirely by the indices, to ensure that it is unused at run-time.Edwin Brady 1f98328fixed non-exhaustive clause with guardraichoo 2250085indent fixity error messageraichoo 5d33da2removed "user error" from error messagesraichoo a6f8de5Fix name shadowing bug in case/destructuring let Fixes issue #96Edwin Brady e7c9256Allow inference of Sets at REPLEdwin Brady 50d93dcFix tutorial typoEdwin Brady c71ce04Marginally improve unification errorsEdwin Brady 9a444c5Add 'mod' and variantsEdwin Brady 1b3f4edClearer type class errors Method cannot be used in a type declaration in the class in which it is defined, as the class definition is not yet complete.Edwin Brady bc37932Add Fin.strengthenEdwin Brady af71c77Bring CHANGELOG up to dateEdwin Brady 1677c30Better dealing with name shadowing while building instances ...and while type checking completed termsEdwin Brady cea7205Slightly neater rendering of names generated in where clausesEdwin Brady 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