summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Update comments: Void# instead of State# RealWorld#Joachim Breitner2013-12-161-3/+3
* Make types of bothDmdType more preciseJoachim Breitner2013-12-162-25/+39
* Disentangle postProcessDmdTypeM and postProcessUnsatJoachim Breitner2013-12-161-1/+13
* Refactor peelManyCallsJoachim Breitner2013-12-161-18/+53
* Rename postProcessDmdType to postProcessUnsat and use* to reuse*Joachim Breitner2013-12-162-39/+46
* Do not export DmdResult constructors in Demand.lhsJoachim Breitner2013-12-162-12/+12
* Split DmdResult into DmdResult and CPRResultJoachim Breitner2013-12-163-72/+120
* Add Note [non-algebraic or open body type warning]Joachim Breitner2013-12-161-0/+20
* Remove dmdAnalArg and replace by easier to understand codeJoachim Breitner2013-12-161-8/+8
* Clarify the default demand on demand environmentsJoachim Breitner2013-12-164-57/+70
* Move peelFV from DmdAnal to DemandJoachim Breitner2013-12-122-23/+29
* Improve the handling of used-once stuffSimon Peyton Jones2013-12-1212-224/+273
* Guarding against silly shiftsSimon Peyton Jones2013-12-121-12/+68
* Assign strictness signatures to primitive operationsSimon Peyton Jones2013-12-122-3/+14
* Do not split void functionsSimon Peyton Jones2013-12-121-2/+20
* Some refactoring of Demand and DmdAnalSimon Peyton Jones2013-12-124-158/+147
* Spelling in commentSimon Peyton Jones2013-12-101-1/+1
* Better debug printingSimon Peyton Jones2013-12-101-2/+2
* Do not generate given kind-equalities (fix Trac #8566)Simon Peyton Jones2013-12-103-40/+77
* Sort the output of -dump-strsigsJoachim Breitner2013-12-091-5/+8
* Replace mkTopDmdType by mkClosedStrictSigJoachim Breitner2013-12-097-21/+21
* Rename topDmdType to nopDmdTypeJoachim Breitner2013-12-097-28/+34
* Do not forget CPR information after an IO actionJoachim Breitner2013-12-092-2/+19
* New flag: -ddump-strsigsJoachim Breitner2013-12-092-0/+14
* Remove the LFBlackHole constructorPatrick Palka2013-12-051-27/+0
* Suggest TemplateHaskell after encountering a parse error on '$' (#7396)Patrick Palka2013-12-051-6/+10
* Clean up Lexer.srcParseErrPatrick Palka2013-12-051-5/+3
* Suggest TemplateHaskell after encountering a naked top-level expressionPatrick Palka2013-12-051-0/+1
* Typecheck typed TH splices properly (fix Trac #8577)Simon Peyton Jones2013-12-054-31/+22
* Comments, and rename a variableSimon Peyton Jones2013-12-051-10/+28
* Update and deduplicate the comments on CAF management (#8590)Patrick Palka2013-12-041-31/+4
* Move the allocation of CAF blackholes into 'newCAF' (#8590)Patrick Palka2013-12-041-30/+10
* Remove code that generates FunDep error message contextJoachim Breitner2013-12-042-45/+17
* Comments onlySimon Peyton Jones2013-12-042-8/+16
* Improve ASSERTSimon Peyton Jones2013-12-041-1/+1
* Comments onlySimon Peyton Jones2013-12-041-10/+9
* Fix note reference [WildCard binders]Joachim Breitner2013-12-041-1/+1
* More detailed error message when GND failsJoachim Breitner2013-12-044-14/+18
* Export getHscEnv from HscMainEdsko de Vries2013-12-031-1/+4
* Mask async exceptions in forkM_Edsko de Vries2013-12-032-2/+21
* Elaborate "deriving" error messagesJoachim Breitner2013-12-033-7/+16
* Refactor: Origin of inferred ThetasJoachim Breitner2013-12-032-114/+168
* Some popular typos in commentsGabor Greif2013-12-024-5/+5
* Note [HyperStr and Use demands]Joachim Breitner2013-12-021-0/+14
* Move FunDeps to typecheckJoachim Breitner2013-12-021-0/+0
* Fix location of spliced-in role annotations.Richard Eisenberg2013-12-021-1/+1
* Rejig rejigConRes & friends, doing role checks in a second pass.Richard Eisenberg2013-12-024-234/+240
* Remove dead code orphaned by implementing GND with `coerce`.Richard Eisenberg2013-12-025-64/+2
* More links to [Coercible Instances]Joachim Breitner2013-12-021-6/+13
* Handle Coercible (forall a. t) (forall a. t2) in TcInteractJoachim Breitner2013-12-022-17/+11
View Lorry Controller Status