summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* Refactor the handling of quasi-quotesSimon Peyton Jones2015-02-104-10/+11
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-093-7/+7
* Use strict atomicModifyIORef' (added in GHC 7.6).Edward Z. Yang2015-01-281-2/+2
* Expose source locations via Implicit Parameters of type GHC.Location.LocationEric Seidel2015-01-191-4/+60
* API Annotations tweaks.Alan Zimmerman2015-01-169-66/+86
* Trac #9878: Make the static form illegal in interpreted mode.Alexander Vershilov2015-01-161-2/+2
* Refactor handling of SPECIALISE pragmas (Trac #5821)Simon Peyton Jones2015-01-141-39/+3
* Trac #9878: Have StaticPointers support dynamic loading.Alexander Vershilov2015-01-131-0/+23
* Improve HsBangSimon Peyton Jones2015-01-081-3/+3
* Remove redundant constraints in the compiler itself, found by -fwarn-redundan...Simon Peyton Jones2015-01-061-1/+1
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-063-13/+20
* Support pattern synonyms in GHCi (fixes #9900)Dr. ERDI Gergo2014-12-281-2/+1
* Eliminate so-called "silent superclass parameters"Simon Peyton Jones2014-12-231-1/+1
* Groom comments related to StaticPointers.Facundo Domínguez2014-12-221-3/+2
* Add a provenance field to universal coercions.Iavor S. Diatchki2014-12-171-1/+1
* Generalized Coverage pass to allow adding multiple types of TickishsPeter Wortmann2014-12-163-111/+134
* Source notes (Core support)Peter Wortmann2014-12-162-7/+13
* 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