summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Store IfExtNames for PatSyn matchers and wrappers in interface file.Dr. ERDI Gergo2014-05-271-0/+1
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-1511-17/+20
* Wibble to 4cfc1faeSimon Peyton Jones2014-05-141-1/+1
* Lint should check that TyConAppCo doesn't have a synonym in the tycon positionSimon Peyton Jones2014-05-131-0/+3
* Preserve evaluated-ness in CoreTidySimon Peyton Jones2014-05-081-45/+70
* Mark evaluated arguments in dataConInstPatSimon Peyton Jones2014-05-081-8/+27
* Remove external coreAustin Seipp2014-05-033-738/+0
* Don't eta-expand PAPs (fixes Trac #9020)Simon Peyton Jones2014-04-241-1/+2
* Allow a longer demand signature than aritySimon Peyton Jones2014-04-081-6/+9
* Comments onlySimon Peyton Jones2014-03-251-7/+5
* Comments onlySimon Peyton Jones2014-03-241-1/+1
* Catch a bunch of typos in commentsGabor Greif2014-03-231-6/+6
* Make sure we occurrence-analyse unfoldings (fixes Trac #8892)Simon Peyton Jones2014-03-181-2/+25
* Make SetLevels do substitution properly (fixes Trac #8714)Simon Peyton Jones2014-03-112-2/+21
* Comments onlySimon Peyton Jones2014-03-111-6/+6
* Typos in commentsGabor Greif2014-03-051-1/+1
* More liberally eta-expand a case-expressionJoachim Breitner2014-02-171-28/+9
* Remove space after ASSERT.Julian K. Arni2014-02-131-1/+1
* Fix some typos in commentsGabor Greif2014-02-131-3/+3
* Use exprIsLambda_maybe in matchJoachim Breitner2014-02-111-2/+76
* In simpleOptExpr, unfold compulsary unfoldingsJoachim Breitner2014-02-111-0/+11
* In CoreSubst, optimize Coercible values aggressivelyJoachim Breitner2014-02-111-2/+2
* Implement CallArity analysisJoachim Breitner2014-02-102-6/+9
* Squash some spelling issuesGabor Greif2014-01-263-4/+4
* Remove unused eqExprXJoachim Breitner2013-12-171-39/+5
* Improve the handling of used-once stuffSimon Peyton Jones2013-12-122-45/+43
* Some refactoring of Demand and DmdAnalSimon Peyton Jones2013-12-121-7/+4
* Replace mkTopDmdType by mkClosedStrictSigJoachim Breitner2013-12-092-3/+3
* Rename topDmdType to nopDmdTypeJoachim Breitner2013-12-091-1/+1
* Remove whitespace between macro identifiers and `(`Herbert Valerio Riedel2013-11-291-2/+2
* Roleify TcCoercionJoachim Breitner2013-11-271-11/+8
* Add role-checking ASSERT to mkCastJoachim Breitner2013-11-271-1/+3
* Untabify and trailing white spaceSimon Peyton Jones2013-11-221-238/+237
* Add a missing case to Lint's understanding of empty casesSimon Peyton Jones2013-11-221-2/+11
* 80 columnsSimon Marlow2013-11-211-8/+8
* tickishCanSplit should be False for HpcTickSimon Marlow2013-11-211-0/+1
* mkNoScope: expand the default caseSimon Marlow2013-11-211-1/+1
* Rename mkNoTick to mkNoCountSimon Marlow2013-11-212-11/+12
* Make Coercible higher-kindedJoachim Breitner2013-11-201-1/+1
* Make exprType work correctly in the presnce of type bindings (Trac #8522)Simon Peyton Jones2013-11-121-1/+13
* Improve eta expansion (again)Simon Peyton Jones2013-11-122-43/+142
* Refactor the topNormaliseNewType story, fixing Trac #8467Simon Peyton Jones2013-10-241-1/+1
* TyposKrzysztof Gogolewski2013-10-121-1/+1
* Catch some popular typos in commentsGabor Greif2013-10-082-3/+3
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-018-8/+8
* TyposKrzysztof Gogolewski2013-09-232-4/+4
* A little refactoringSimon Peyton Jones2013-09-181-1/+7
* Introduce coerce :: Coercible a b -> a -> bcoercibleJoachim Breitner2013-09-131-0/+8
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-123-5/+84
* Fix AMP warnings.Austin Seipp2013-09-112-0/+16