summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* Fix dll-split problem with patch 'Make Core Lint check for locally-bound Glob...Simon Peyton Jones2014-12-153-113/+19
* Make Core Lint check for locally-bound GlobalIdsSimon Peyton Jones2014-12-151-1/+2
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-3/+2
* Implement -XStaticValuesFacundo Domínguez2014-12-096-10/+223
* compiler: de-lhs deSugar/Austin Seipp2014-12-0318-640/+523
* Implement Partial Type SignaturesThomas Winant2014-11-281-5/+5
* Rename some of the functions in NameSet, to make the uniform with VarSet etcSimon Peyton Jones2014-11-281-1/+1
* Don't discard a bang on a newtype pattern (Trac #9844)Simon Peyton Jones2014-11-281-11/+54
* Resume reporting incomplete pattern matches for record updatesSimon Peyton Jones2014-11-272-3/+6
* Capture original source for literalsAlan Zimmerman2014-11-213-69/+79
* 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