summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Comments about the let/app invariantSimon Peyton Jones2014-10-011-11/+18
* De-tabify and remove trailing whitespaceSimon Peyton Jones2014-09-263-736/+718
* Remove a few redundant `-fno-warn-tabs`sHerbert Valerio Riedel2014-09-251-6/+0
* White space onlySimon Peyton Jones2014-09-191-2/+2
* Remove special casing of singleton strings, split all strings.Thijs Alkemade2014-09-162-6/+56
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-1/+1
* `M-x delete-trailing-whitespace` & `M-x untabify`...Herbert Valerio Riedel2014-08-311-55/+54
* Re-export Word from Prelude (re #9531)Herbert Valerio Riedel2014-08-311-1/+3
* Some typosGabor Greif2014-08-301-1/+1
* When finding loop breakers, distinguish INLINE from INLINEABLESimon Peyton Jones2014-08-291-5/+12
* Define mapUnionVarSet, and use itSimon Peyton Jones2014-08-291-5/+5
* Make tidyProgram discard speculative specialisation rulesSimon Peyton Jones2014-08-282-2/+6
* Fix an egregious bug in the NonRec case of bindFreeVarsSimon Peyton Jones2014-08-281-1/+1
* Make worker/wrapper work on INLINEABLE thingsSimon Peyton Jones2014-08-281-10/+41
* Make maybeUnfoldingTemplate respond to DFunUnfoldingsSimon Peyton Jones2014-08-281-2/+9
* Kill unused setUnfoldingTemplateSimon Peyton Jones2014-08-281-4/+1
* Refactor unfoldingsSimon Peyton Jones2014-08-284-141/+216
* Make Core Lint check for un-saturated type applicationsSimon Peyton Jones2014-08-251-4/+11
* coreSyn: detabify/dewhitespace CoreSubstAustin Seipp2014-08-201-219/+212
* coreSyn: detabify/dewhitespace CoreTidyAustin Seipp2014-08-201-75/+68
* 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