| Commit message (Expand) | Author | Age | Files | Lines |
* | Fix dll-split problem with patch 'Make Core Lint check for locally-bound Glob... | Simon Peyton Jones | 2014-12-15 | 3 | -113/+19 |
* | Make Core Lint check for locally-bound GlobalIds | Simon Peyton Jones | 2014-12-15 | 1 | -1/+2 |
* | Rewrite `Coercible` solver | Richard Eisenberg | 2014-12-12 | 1 | -3/+2 |
* | Implement -XStaticValues | Facundo DomÃnguez | 2014-12-09 | 6 | -10/+223 |
* | compiler: de-lhs deSugar/ | Austin Seipp | 2014-12-03 | 18 | -640/+523 |
* | Implement Partial Type Signatures | Thomas Winant | 2014-11-28 | 1 | -5/+5 |
* | Rename some of the functions in NameSet, to make the uniform with VarSet etc | Simon Peyton Jones | 2014-11-28 | 1 | -1/+1 |
* | Don't discard a bang on a newtype pattern (Trac #9844) | Simon Peyton Jones | 2014-11-28 | 1 | -11/+54 |
* | Resume reporting incomplete pattern matches for record updates | Simon Peyton Jones | 2014-11-27 | 2 | -3/+6 |
* | Capture original source for literals | Alan Zimmerman | 2014-11-21 | 3 | -69/+79 |
* | AST changes to prepare for API annotations, for #9628 | Alan Zimmerman | 2014-11-21 | 8 | -70/+95 |
* | Implement full co/contra-variant subsumption checking (fixes Trac #9569) | Simon Peyton Jones | 2014-11-21 | 2 | -2/+8 |
* | Rejig builders for pattern synonyms, especially unlifted ones | Simon Peyton Jones | 2014-11-21 | 2 | -26/+6 |
* | Make calling conventions in template haskell Syntax.hs consistent with those ... | Luite Stegeman | 2014-11-19 | 1 | -24/+33 |
* | Update comment about C helper for foreign exports (#9713) | Bertram Felgenhauer | 2014-11-18 | 1 | -2/+6 |
* | Docs only | Edward Z. Yang | 2014-11-17 | 1 | -1/+1 |
* | Apply compulsory unfoldings during desugaring, except for `seq` which is spec... | Dr. ERDI Gergo | 2014-11-13 | 1 | -1/+21 |
* | Fix #9064 by adding support for generic default signatures to TH. | Richard Eisenberg | 2014-11-12 | 1 | -12/+12 |
* | Fix #8100, by adding StandaloneDerivD to TH's Dec type. | Richard Eisenberg | 2014-11-12 | 1 | -20/+36 |
* | In pattern synonym matchers, support unboxed continuation results (fixes #9783). | Dr. ERDI Gergo | 2014-11-08 | 1 | -1/+6 |
* | A little refactoring of HsSplice and friends | Simon Peyton Jones | 2014-11-04 | 1 | -1/+1 |
* | Add the unfolding and inline-pragma for DFuns in DsBinds, not TcInstDcls | Simon Peyton Jones | 2014-11-04 | 1 | -0/+20 |
* | Some refactoring around endPass and debug dumping | Simon Peyton Jones | 2014-11-04 | 1 | -3/+4 |
* | Fix #9738, by handling {-# ANN ... #-} in DsMeta. | Richard Eisenberg | 2014-11-01 | 1 | -20/+56 |
* | Fix #9084 by calling notHandled when unknown bits are enountered. | Richard Eisenberg | 2014-11-01 | 1 | -19/+60 |
* | Implementation of hsig (module signatures), per #9252 | Edward Z. Yang | 2014-10-24 | 1 | -2/+2 |
* | Revert "Rename _closure to _static_closure, apply naming consistently." | Edward Z. Yang | 2014-10-20 | 1 | -3/+3 |
* | Fix comment typos: lll -> ll, THe -> The | Jan Stolarek | 2014-10-14 | 1 | -1/+1 |
* | Rename _closure to _static_closure, apply naming consistently. | Edward Z. Yang | 2014-10-01 | 1 | -3/+3 |
* | De-tabify and remove trailing whitespace | Simon Peyton Jones | 2014-09-26 | 4 | -578/+554 |
* | `M-x delete-trailing-whitespace` & `M-x untabify` | Herbert Valerio Riedel | 2014-09-24 | 1 | -1/+1 |
* | Export `Monoid(..)`/`Foldable(..)`/`Traversable(..)` from Prelude | Herbert Valerio Riedel | 2014-09-21 | 1 | -0/+2 |
* | Make Applicative a superclass of Monad | Austin Seipp | 2014-09-09 | 3 | -3/+3 |
* | PostTcType replaced with TypeAnnot | Alan Zimmerman | 2014-09-06 | 2 | -17/+26 |
* | Typos in comments | Gabor Greif | 2014-08-29 | 1 | -1/+1 |
* | Make mkFastStringByteString pure and fix up uses | Duncan Coutts | 2014-08-29 | 1 | -2/+1 |
* | Refactor unfoldings | Simon Peyton Jones | 2014-08-28 | 1 | -14/+10 |
* | deSugar: detabify/dewhitespace DsCCall | Austin Seipp | 2014-08-20 | 1 | -107/+100 |
* | When desugaring Use the smart mkCoreConApps and friends | Simon Peyton Jones | 2014-08-07 | 5 | -11/+11 |
* | Fix-up to d4d4bef2 'Improve the desugaring of RULES' | Simon Peyton Jones | 2014-08-01 | 1 | -2/+8 |
* | Improve the desugaring of RULES, esp those from SPECIALISE pragmas | Simon Peyton Jones | 2014-08-01 | 1 | -11/+64 |
* | Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId. | Edward Z. Yang | 2014-07-21 | 3 | -8/+8 |
* | Entirely re-jig the handling of default type-family instances (fixes Trac #9063) | Simon Peyton Jones | 2014-07-15 | 1 | -4/+4 |
* | Remove forgotten redundant import | Simon Peyton Jones | 2014-06-12 | 1 | -1/+0 |
* | Line up kind and type variables correctly when desugaring TH brackets | Simon Peyton Jones | 2014-06-12 | 1 | -5/+8 |
* | Make the matcher and wrapper Ids in PatSyn into LocalIds, not GlobalIds | Simon Peyton Jones | 2014-06-06 | 2 | -16/+7 |
* | Fix egregious instantiation bug in matchOneConLike (fixing Trac #9023) | Simon Peyton Jones | 2014-06-05 | 6 | -47/+40 |
* | Simple eta reduction in call to adjustMatchResults, just a tidy-up | Simon Peyton Jones | 2014-05-23 | 1 | -4/+2 |
* | Add LANGUAGE pragmas to compiler/ source files | Herbert Valerio Riedel | 2014-05-15 | 16 | -6/+31 |
* | Typo in comment | Gabor Greif | 2014-05-13 | 1 | -1/+1 |