| Commit message (Expand) | Author | Age | Files | Lines |
* | compiler: de-lhs hsSyn/ | Austin Seipp | 2014-12-03 | 1 | -906/+0 |
* | Implement Partial Type Signatures | Thomas Winant | 2014-11-28 | 1 | -1/+1 |
* | Rename some of the functions in NameSet, to make the uniform with VarSet etc | Simon Peyton Jones | 2014-11-28 | 1 | -6/+6 |
* | Capture original source for literals | Alan Zimmerman | 2014-11-21 | 1 | -7/+7 |
* | Add API Annotations | Alan Zimmerman | 2014-11-21 | 1 | -4/+4 |
* | AST changes to prepare for API annotations, for #9628 | Alan Zimmerman | 2014-11-21 | 1 | -8/+10 |
* | nlHsTyApps: for applying a function both on type- and term-level arguments | Dr. ERDI Gergo | 2014-11-13 | 1 | -1/+4 |
* | A little refactoring of HsSplice and friends | Simon Peyton Jones | 2014-11-04 | 1 | -5/+3 |
* | remove old .NET related code | Yuras Shumovich | 2014-10-31 | 1 | -1/+0 |
* | Remove a few redundant `-fno-warn-tabs`s | Herbert Valerio Riedel | 2014-09-25 | 1 | -6/+0 |
* | Clean up Coercible handling, and interaction of data families with newtypes | Simon Peyton Jones | 2014-09-19 | 1 | -3/+12 |
* | PostTcType replaced with TypeAnnot | Alan Zimmerman | 2014-09-06 | 1 | -129/+172 |
* | Refactor PatSynBind so that we can pass around PSBs instead of several arguments | Dr. ERDI Gergo | 2014-07-29 | 1 | -6/+8 |
* | Fixed issue with detection of duplicate record fields | Gintautas Miliauskas | 2014-07-24 | 1 | -12/+19 |
* | Remove dead code. Fix comment typo. | Jan Stolarek | 2014-06-30 | 1 | -1/+1 |
* | Fix egregious instantiation bug in matchOneConLike (fixing Trac #9023) | Simon Peyton Jones | 2014-06-05 | 1 | -1/+1 |
* | Add LANGUAGE pragmas to compiler/ source files | Herbert Valerio Riedel | 2014-05-15 | 1 | -1/+2 |
* | Instead of tracking Origin in LHsBindsLR, track it in MatchGroup | Dr. ERDI Gergo | 2014-04-13 | 1 | -23/+23 |
* | Squash some spelling issues | Gabor Greif | 2014-01-26 | 1 | -1/+1 |
* | Implement pattern synonyms | Dr. ERDI Gergo | 2014-01-20 | 1 | -10/+18 |
* | Comments only | Simon Peyton Jones | 2013-12-30 | 1 | -3/+6 |
* | Fix #8607. | Richard Eisenberg | 2013-12-26 | 1 | -24/+28 |
* | Comments only | Simon Peyton Jones | 2013-11-28 | 1 | -1/+4 |
* | Roleify TcCoercion | Joachim Breitner | 2013-11-27 | 1 | -6/+4 |
* | In toHsType, filter out kind variables | Joachim Breitner | 2013-11-25 | 1 | -1/+2 |
* | Another raft of Template Haskell clean-up | Simon Peyton Jones | 2013-11-25 | 1 | -6/+7 |
* | Implement GeneralizedNewtypeDeriving in terms of `coerce`. | Richard Eisenberg | 2013-11-22 | 1 | -1/+47 |
* | Add support for pattern splices. | Geoffrey Mainland | 2013-10-04 | 1 | -0/+1 |
* | Clean up smart constructors for splices. | Geoffrey Mainland | 2013-10-04 | 1 | -6/+9 |
* | Differentiate typed and untyped splices and brackets in the abstract syntax. | Geoffrey Mainland | 2013-10-04 | 1 | -2/+5 |
* | Globally replace "hackage.haskell.org" with "ghc.haskell.org" | Simon Marlow | 2013-10-01 | 1 | -1/+1 |
* | Change role annotation syntax. | Richard Eisenberg | 2013-09-17 | 1 | -3/+3 |
* | Implement "roles" into GHC. | Richard Eisenberg | 2013-08-02 | 1 | -1/+1 |
* | Rearrange the typechecking of arrows, especially arrow "forms" | Simon Peyton Jones | 2013-03-04 | 1 | -2/+5 |
* | Add OverloadedLists, allowing list syntax to be overloaded | Simon Peyton Jones | 2013-02-14 | 1 | -3/+3 |
* | Refactor HsExpr.MatchGroup | Simon Peyton Jones | 2013-01-04 | 1 | -1/+1 |
* | Implement overlapping type family instances. | Richard Eisenberg | 2012-12-21 | 1 | -14/+17 |
* | This big patch re-factors the way in which arrow-syntax is handled | Simon Peyton Jones | 2012-10-03 | 1 | -36/+40 |
* | Refactor LHsTyVarBndrs to fix Trac #6081 | Simon Peyton Jones | 2012-05-11 | 1 | -4/+1 |
* | Tidy up a remaining glitch in unification | Simon Peyton Jones | 2012-05-01 | 1 | -6/+6 |
* | Do SCC on instance declarations (fixes Trac #5715) | Simon Peyton Jones | 2012-04-20 | 1 | -1/+1 |
* | Allow kind-variable binders in type signatures | Simon Peyton Jones | 2012-04-13 | 1 | -33/+1 |
* | Make the 'extract' functions to find free type variables | Simon Peyton Jones | 2012-03-26 | 1 | -2/+2 |
* | Merge branch 'master' of http://darcs.haskell.org//ghc | Simon Peyton Jones | 2012-03-24 | 1 | -2/+3 |
|\ |
|
| * | Deal with kind variables brought into scope by a kind signature | Simon Peyton Jones | 2012-03-14 | 1 | -1/+1 |
* | | Refactor HsDecls.TyClDecl to extract the type HsTyDefn, which is the | Simon Peyton Jones | 2012-03-22 | 1 | -16/+32 |
* | | Deal with kind variables brought into scope by a kind signature | Simon Peyton Jones | 2012-03-14 | 1 | -1/+1 |
|/ |
|
* | Hurrah! This major commit adds support for scoped kind variables, | Simon Peyton Jones | 2012-03-02 | 1 | -5/+5 |
* | Refactor HsDecls again, to put family instances in InstDecl | Simon Peyton Jones | 2012-02-06 | 1 | -10/+14 |
* | fix #5022: polymorphic definitions inside arrow rec | Ross Paterson | 2011-12-19 | 1 | -1/+1 |