summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsBinds.lhs
Commit message (Expand)AuthorAgeFilesLines
* Don't allow specialisation of class methods (fixes Trac #5001)Simon Peyton Jones2011-06-131-0/+9
* A few more wibbles on ghc-new-coSimon Peyton Jones2011-05-021-5/+5
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-12/+8
* Fix Trac #4870: get the inlining for an imported INLINABLE Idsimonpj@microsoft.com2011-01-051-6/+7
* For single-method classes use newtypessimonpj@microsoft.com2010-11-011-2/+1
* Fix recursive superclasses (again). Fixes Trac #4809.simonpj@microsoft.com2010-12-131-29/+15
* Re-jig simplifySuperClass (again)simonpj@microsoft.com2010-12-021-9/+9
* Improve rule checking, to fix panic Trac #4398simonpj@microsoft.com2010-10-211-75/+82
* Fix -auto-all: Add SCCs to IDs which have a monotype tooIan Lynagh2010-10-181-4/+6
* Implement auto-specialisation of imported Idssimonpj@microsoft.com2010-10-071-64/+75
* Fix an egregious bug: INLINE pragmas on monomorphic Ids were being ignoredsimonpj@microsoft.com2010-09-241-80/+5
* Implement INLINABLE pragma simonpj@microsoft.com2010-09-151-10/+18
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-104/+219
* Robustify the treatement of DFunUnfoldingsimonpj@microsoft.com2010-05-311-7/+8
* Make arity of INLINE things consistentsimonpj@microsoft.com2010-05-101-3/+4
* Flags -auto and -auto-all operate only on functions not marked INLINE.Milan Straka2010-03-311-0/+3
* Rule binders shouldn't have DFun pragmassimonpj@microsoft.com2010-03-091-5/+7
* Respect SPECIALISE pragmas even for apparently-non-overloaded thingssimonpj@microsoft.com2010-01-081-120/+132
* Improve the handling of default methodssimonpj@microsoft.com2010-01-061-57/+42
* Comments only (about implementing SPECIALISE pragmas)simonpj@microsoft.com2009-12-211-30/+35
* More work on the simplifier's inlining strategiessimonpj@microsoft.com2009-12-021-10/+16
* Implement -fexpose-all-unfoldings, and fix a non-termination bugsimonpj@microsoft.com2009-11-191-1/+1
* Wibble to commentsimonpj@microsoft.com2009-11-131-3/+3
* Use eta-expansion to ensure that INLINE things have their expected arity2009-11-15simonpj@microsoft.com2009-11-131-11/+27
* Turn an ASSERT into a WARNsimonpj@microsoft.com2009-10-301-10/+10
* The Big INLINE Patch: totally reorganise way that INLINE pragmas worksimonpj@microsoft.com2009-10-291-205/+258
* Fix Trac #959: a long-standing bug in instantiating otherwise-unbound type va...simonpj@microsoft.com2009-10-151-25/+23
* FIX #2767 & original problem of #3208Manuel M T Chakravarty2009-08-201-7/+7
* Remove unused importsIan Lynagh2009-07-071-1/+0
* Allow RULES for seq, and exploit themsimonpj@microsoft.com2009-06-031-0/+13
* Add the notion of "constructor-like" Ids for rule-matchingsimonpj@microsoft.com2009-03-181-5/+5
* Rollback INLINE patchesSimon Marlow2008-12-161-133/+119
* Use CoreSubst.simpleOptExpr in place of the ad-hoc simpleSubst (reduces code ...simonpj@microsoft.com2008-12-081-50/+16
* Completely new treatment of INLINE pragmas (big patch)simonpj@microsoft.com2008-12-051-70/+118
* Comments onlysimonpj@microsoft.com2008-10-311-2/+4
* Tidy up the treatment of dead binderssimonpj@microsoft.com2008-09-201-6/+3
* Refactor the desugaring of RULE lhss a bitsimonpj@microsoft.com2008-09-151-27/+29
* Major change in compilation of instance declarations (fix Trac #955, #2328)simonpj@microsoft.com2008-09-031-2/+5
* Fix Trac #2520: duplicate symbolssimonpj@microsoft.com2008-08-271-2/+14
* Handle introduction of MkCore in DsBindsMax Bolingbroke2008-07-311-0/+1
* Fix Haddock errors.Thomas Schilling2008-07-201-3/+3
* Desugar multiple polymorphic bindings more intelligentlysimonpj@microsoft.com2008-06-051-33/+135
* (F)SLIT -> (f)sLit in DsBindsIan Lynagh2008-04-121-4/+4
* Rename WpCo to WpCastsimonpj@microsoft.com2008-04-221-1/+1
* Fix warnings in deSugar/DsBindsIan Lynagh2008-01-301-22/+17
* Monadify deSugar/DsBinds: use do, return, applicative, standard monad functionsTwan van Laarhoven2008-01-171-37/+36
* Tidy up the treatment of SPECIALISE pragmassimonpj@microsoft.com2008-01-221-16/+27
* Implement generalised list comprehensionssimonpj@microsoft.com2007-12-201-1/+1
* Improve the situation for Trac #959: civilised warning instead of a trace msgsimonpj@microsoft.com2007-11-191-15/+23
* Inline implication constraintssimonpj@microsoft.com2007-11-051-0/+2
View Lorry Controller Status