summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* coreSyn: detabify/dewhitespace TrieMapAustin Seipp2014-08-201-83/+76
* Fix some typos in recent comments/notesGabor Greif2014-08-072-3/+3
* Extensive Notes on can_fail and has_side_effectsSimon Peyton Jones2014-08-071-5/+14
* Document the maintenance of the let/app invariant in the simplifierSimon Peyton Jones2014-08-071-2/+3
* Make Core Lint check the let/app invariantSimon Peyton Jones2014-08-071-1/+10
* Move Outputable instance for FloatBind to the data type definitionSimon Peyton Jones2014-08-071-2/+7
* Comments and white spaceSimon Peyton Jones2014-08-072-27/+27
* Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId.Edward Z. Yang2014-07-211-2/+2
* Rewrite coercionRole. (#9233)Richard Eisenberg2014-07-161-2/+2
* Some typos in commentsGabor Greif2014-06-111-2/+2
* Fix #9062.Richard Eisenberg2014-06-112-2/+2
* 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