summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* AST changes to prepare for API annotations, for #9628Alan Zimmerman2014-11-218-70/+95
* Implement full co/contra-variant subsumption checking (fixes Trac #9569)Simon Peyton Jones2014-11-212-2/+8
* Rejig builders for pattern synonyms, especially unlifted onesSimon Peyton Jones2014-11-212-26/+6
* Make calling conventions in template haskell Syntax.hs consistent with those ...Luite Stegeman2014-11-191-24/+33
* Update comment about C helper for foreign exports (#9713)Bertram Felgenhauer2014-11-181-2/+6
* Docs onlyEdward Z. Yang2014-11-171-1/+1
* Apply compulsory unfoldings during desugaring, except for `seq` which is spec...Dr. ERDI Gergo2014-11-131-1/+21
* Fix #9064 by adding support for generic default signatures to TH.Richard Eisenberg2014-11-121-12/+12
* Fix #8100, by adding StandaloneDerivD to TH's Dec type.Richard Eisenberg2014-11-121-20/+36
* In pattern synonym matchers, support unboxed continuation results (fixes #9783).Dr. ERDI Gergo2014-11-081-1/+6
* A little refactoring of HsSplice and friendsSimon Peyton Jones2014-11-041-1/+1
* Add the unfolding and inline-pragma for DFuns in DsBinds, not TcInstDclsSimon Peyton Jones2014-11-041-0/+20
* Some refactoring around endPass and debug dumpingSimon Peyton Jones2014-11-041-3/+4
* Fix #9738, by handling {-# ANN ... #-} in DsMeta.Richard Eisenberg2014-11-011-20/+56
* Fix #9084 by calling notHandled when unknown bits are enountered.Richard Eisenberg2014-11-011-19/+60
* 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