summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* Implementation of hsig (module signatures), per #9252Edward Z. Yang2014-10-241-2/+2
* Revert "Rename _closure to _static_closure, apply naming consistently."Edward Z. Yang2014-10-201-3/+3
* Fix comment typos: lll -> ll, THe -> TheJan Stolarek2014-10-141-1/+1
* Rename _closure to _static_closure, apply naming consistently.Edward Z. Yang2014-10-011-3/+3
* De-tabify and remove trailing whitespaceSimon Peyton Jones2014-09-264-578/+554
* `M-x delete-trailing-whitespace` & `M-x untabify`Herbert Valerio Riedel2014-09-241-1/+1
* Export `Monoid(..)`/`Foldable(..)`/`Traversable(..)` from PreludeHerbert Valerio Riedel2014-09-211-0/+2
* Make Applicative a superclass of MonadAustin Seipp2014-09-093-3/+3
* PostTcType replaced with TypeAnnotAlan Zimmerman2014-09-062-17/+26
* Typos in commentsGabor Greif2014-08-291-1/+1
* Make mkFastStringByteString pure and fix up usesDuncan Coutts2014-08-291-2/+1
* Refactor unfoldingsSimon Peyton Jones2014-08-281-14/+10
* deSugar: detabify/dewhitespace DsCCallAustin Seipp2014-08-201-107/+100
* When desugaring Use the smart mkCoreConApps and friendsSimon Peyton Jones2014-08-075-11/+11
* 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
* Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId.Edward Z. Yang2014-07-213-8/+8
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-151-4/+4
* Remove forgotten redundant importSimon Peyton Jones2014-06-121-1/+0
* Line up kind and type variables correctly when desugaring TH bracketsSimon Peyton Jones2014-06-121-5/+8
* Make the matcher and wrapper Ids in PatSyn into LocalIds, not GlobalIdsSimon Peyton Jones2014-06-062-16/+7
* Fix egregious instantiation bug in matchOneConLike (fixing Trac #9023)Simon Peyton Jones2014-06-056-47/+40
* Simple eta reduction in call to adjustMatchResults, just a tidy-upSimon Peyton Jones2014-05-231-4/+2
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-1516-6/+31
* Typo in commentGabor Greif2014-05-131-1/+1
* Improve desugaring of lazy pattern matchSimon Peyton Jones2014-05-121-10/+9
* Instead of tracking Origin in LHsBindsLR, track it in MatchGroupDr. ERDI Gergo2014-04-136-27/+25
* Fix desguaring of bang patterns (Trac #8952)Simon Peyton Jones2014-04-031-5/+5
* 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
* Fix #8807.Richard Eisenberg2014-02-261-33/+7
* Use NoGen plan for unboxed-tuple bindingsSimon Peyton Jones2014-02-181-3/+3
* Fix Manual hlinting patchJoachim Breitner2014-02-131-2/+2
* Manual hlinting: or (map f) = any fJoachim Breitner2014-02-131-2/+2
* Cleaned up Maybes.lhsBaldur Blöndal2014-02-131-3/+4
* Replace forall'ed Coercible by ~R# in RULESJoachim Breitner2014-02-111-2/+44
* Refactor previous commit on fixing #7021.Richard Eisenberg2014-02-091-15/+17
* Apply changes relative to TH.Pred becoming a TH.Type's synonym (issue #7021)YoEight2014-02-091-29/+24
* Fix #8759 by not panicking with TH and patsyns.Richard Eisenberg2014-02-091-1/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-2010-147/+303
* Re-work the naming story for the GHCi prompt (Trac #8649)Simon Peyton Jones2014-01-091-2/+1
* Refactor the way shadowing in handled in GHCiSimon Peyton Jones2014-01-031-1/+0
* Handle parens in predicates when converting to THSimon Peyton Jones2014-01-021-0/+2
* 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
* More faff to get GHCi's top-level environment rightSimon Peyton Jones2013-11-281-17/+17
* 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-274-53/+52
* Another raft of Template Haskell clean-upSimon Peyton Jones2013-11-253-17/+18