summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsBinds.lhs
Commit message (Expand)AuthorAgeFilesLines
* De-tabify and remove trailing whitespaceSimon Peyton Jones2014-09-261-177/+171
* Typos in commentsGabor Greif2014-08-291-1/+1
* Refactor unfoldingsSimon Peyton Jones2014-08-281-14/+10
* Fix-up to d4d4bef2 'Improve the desugaring of RULES'Simon Peyton Jones2014-08-011-2/+8
* Improve the desugaring of RULES, esp those from SPECIALISE pragmasSimon Peyton Jones2014-08-011-11/+64
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-1/+2
* Instead of tracking Origin in LHsBindsLR, track it in MatchGroupDr. ERDI Gergo2014-04-131-7/+2
* Improve the desugaring of RULE left-hand-sides (fixes Trac #8848)Simon Peyton Jones2014-03-251-52/+97
* A bit more tracing to do with SPECIALISE pragmasSimon Peyton Jones2014-03-131-5/+5
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-3/+9
* Remove dead code orphaned by implementing GND with `coerce`.Richard Eisenberg2013-12-021-3/+0
* Remove whitespace between macro identifiers and `(`Herbert Valerio Riedel2013-11-291-1/+1
* EvCast needs to take a representational coercionJoachim Breitner2013-11-281-1/+1
* Get rid of EvCoercibleJoachim Breitner2013-11-271-44/+1
* Roleify TcCoercionJoachim Breitner2013-11-271-44/+42
* Extend Coercible to newtype instancesJoachim Breitner2013-11-221-6/+6
* Make Coercible higher-kindedJoachim Breitner2013-11-201-1/+1
* Placate clang (#8444, #8445)Austin Seipp2013-10-251-1/+1
* Remove debugging printouts -- sorry!Richard Eisenberg2013-10-231-7/+2
* Change GeneralizedNewtypeDeriving safety check.Richard Eisenberg2013-10-231-3/+10
* Comments onlyunknown2013-10-011-4/+4
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Introduce coerce :: Coercible a b -> a -> bcoercibleJoachim Breitner2013-09-131-2/+45
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+5
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-26/+33
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-301-21/+18
* Make the desugarer a tiny bit cleverer on coercions (fixes Trac #7837)Simon Peyton Jones2013-04-161-2/+31
* typosGabor Greif2013-01-301-2/+2
* Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2013-01-021-1/+2
|\
| * Implement overlapping type family instances.Richard Eisenberg2012-12-211-1/+2
* | Define ListSetOps.getNth, and use itSimon Peyton Jones2013-01-021-1/+2
|/
* Rename remaining FastBytes usages to ByteStringIan Lynagh2012-12-141-1/+1
* Make the opt_UF_* static flags dynamicIan Lynagh2012-10-091-12/+16
* Refactor the handling of kind errorsSimon Peyton Jones2012-09-281-4/+0
* Implement 'left' and 'right' coercionsSimon Peyton Jones2012-09-171-0/+1
* Improve the binding location of class methods (I think)Simon Peyton Jones2012-09-171-2/+3
* Fix Trac #7196 by adding a case to the desugarerSimon Peyton Jones2012-08-291-5/+6
* Implement FastBytes, and use it for MachStrIan Lynagh2012-07-141-1/+1
* Pass DynFlags down to showSDocIan Lynagh2012-06-121-2/+2
* Use fresh uniques when unboxing coercions in the desugarerSimon Peyton Jones2012-05-091-26/+33
* Yet another major refactoring of the constraint solverSimon Peyton Jones2012-05-071-21/+34
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-131-6/+33
|\
| * Attach INLINE pagmas in mutually recursive bindingsSimon Peyton Jones2012-03-041-2/+29
| * Refactoring around super-kindsSimon Peyton Jones2012-02-161-1/+1
* | Add support for type-level "strings".Iavor S. Diatchki2012-01-241-1/+4
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-241-24/+41
|\ \ | |/
| * Fix validateIan Lynagh2012-01-191-1/+4
| * Warn when a SPECIALISE pragma gives rise to a totally inactive ruleSimon Peyton Jones2012-01-171-24/+38
* | Merge in more HEAD, fix stuff upSimon Peyton Jones2012-01-231-2/+8
|\ \ | |/
| * Implememt -fdefer-type-errors (Trac #5624)Simon Peyton Jones2012-01-121-1/+6
View Lorry Controller Status