summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Collapse)AuthorAgeFilesLines
* Return exprArity, not manifestAritywip/exprAritySimon Peyton Jones2013-12-121-3/+16
| | | | | This patch was authored by SPJ, and extracted from "Improve the handling of used-once stuff" by Joachim.
* Improve the handling of used-once stuffSimon Peyton Jones2013-12-1212-224/+273
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Joachim and I are committing this onto a branch so that we can share it, but we expect to do a bit more work before merging it onto head. Nofib staus: - Most programs, no change - A few improve - A couple get worse (cacheprof, tak, rfib) Investigating the "get worse" set is what's holding up putting this on head. The major issue is this. Consider map (f g) ys where f's demand signature looks like f :: <L,C1(C1(U))> -> <L,U> -> . So 'f' is not saturated. What demand do we place on g? Answer C(C1(U)) That is, the inner C1 should stay, even though f is not saturated. I found that this made a significant difference in the demand signatures inferred in GHC.IO, which uses lots of higher-order exception handlers. I also had to add used-once demand signatures for some of the 'catch' primops, so that we know their handlers are only called once.
* Guarding against silly shiftsSimon Peyton Jones2013-12-121-12/+68
| | | | | This patch was authored by SPJ and extracted from "Improve the handling of used-once stuff" by Joachim.
* Assign strictness signatures to primitive operationsSimon Peyton Jones2013-12-122-3/+14
| | | | | This patch was authored by SPJ, and extracted from "Improve the handling of used-once stuff" by Joachim.
* Do not split void functionsSimon Peyton Jones2013-12-121-2/+20
| | | | | This is authored by SPJ, and split out out "Improve the handling of used-once stuff" by Joachim.
* Some refactoring of Demand and DmdAnalSimon Peyton Jones2013-12-124-158/+147
| | | | | This was authored by SPJ and extracted from the "Improve the handling of used-once stuff" patch by Joachim.
* 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
| | | | | | | | | | | | This is a long-standing bug. We were generating a Given equality between kind variables, and (at least until we support kind coercions) we can't do that. The fix is to drop such Given equalities entirely. That may mean we can't prove some things, but that's fair enough -- the current proof language can't express such proofs. See Note [Do not create Given kind equalities] in TcSMonad
* Sort the output of -dump-strsigsJoachim Breitner2013-12-091-5/+8
|
* Replace mkTopDmdType by mkClosedStrictSigJoachim Breitner2013-12-097-21/+21
| | | | | because it is not a top deman (see previous commit), and it is only used in an argument to mkStrictSig.
* Rename topDmdType to nopDmdTypeJoachim Breitner2013-12-097-28/+34
| | | | | | | | | because topDmdType is ''not'' the top of the lattice, as it puts an implicit absent demand on free variables, but Abs is the bottom of the Usage lattice. Why nopDmdType? Becuase it is the demand of doing nothing: Everything lazy, everything absent, no definite divergence.
* Do not forget CPR information after an IO actionJoachim Breitner2013-12-092-2/+19
| | | | | | | | | but do forget about certain divergence, if required. Fixes one part of ticket #8598. The added function (deferAfterIO) can maybe be merged with existing code, but given the ongoing work in the nested-cpr branch, I defer that work.
* New flag: -ddump-strsigsJoachim Breitner2013-12-092-0/+14
| | | | | | | The existing flag -ddump-stranal dumps the full Core, which is very verbose and not always helpful. This adds a more concise output (one line per top-level bind) that is faster to read, and especially more suitable to be used when writing test cases for the strictness analiser.
* Remove the LFBlackHole constructorPatrick Palka2013-12-051-27/+0
| | | | After commit 55c703b8fdb0, this code is no longer used anywhere.
* Suggest TemplateHaskell after encountering a parse error on '$' (#7396)Patrick Palka2013-12-051-6/+10
|
* Clean up Lexer.srcParseErrPatrick Palka2013-12-051-5/+3
| | | | | The lexer now uses unicode single quotation marks in its error messages if possible. This is due to the use of the 'quotes' combinator.
* Suggest TemplateHaskell after encountering a naked top-level expressionPatrick Palka2013-12-051-0/+1
| | | | Helps fix #7396
* Typecheck typed TH splices properly (fix Trac #8577)Simon Peyton Jones2013-12-054-31/+22
| | | | | | | | | | | | | This was an egregious error. If e :: T (Q ty1) then when we have the splice $e :: ty2 we must ensure that ty1~ty2 before we even think about running the splice! I took the opportunity to remove the dead-code tcSpliceDecls altogether.
* 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
| | | | | | | | | | We now do the allocation of the blackhole indirection closure inside the RTS procedure 'newCAF' instead of generating the allocation code inline in the closure body of each CAF. This slightly decreases code size in modules with a lot of CAFs. As a result of this change, for example, the size of DynFlags.o drops by ~60KB and HsExpr.o by ~100KB.
* Remove code that generates FunDep error message contextJoachim Breitner2013-12-042-45/+17
| | | | | as it seems that this code is now dead (due to [Dropping derived constraints]) (See #8592)
* 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
| | | | | we now print the precise class method, with types, where the coercion failed.
* Export getHscEnv from HscMainEdsko de Vries2013-12-031-1/+4
|
* Mask async exceptions in forkM_Edsko de Vries2013-12-032-2/+21
| | | | See #8006 for the reason why. This is not a fix as such; more of a workaround.
* Elaborate "deriving" error messagesJoachim Breitner2013-12-033-7/+16
| | | | | | If "deriving (C)" fails, it will now, if possible, indicate which particular field of which constructor has caused the failure. (This fixes #8576)
* Refactor: Origin of inferred ThetasJoachim Breitner2013-12-032-114/+168
| | | | | | When doing non-standalone deriving, annotate each individual unsimplified constraint with its own CtOrigin. This is just the refactoring, so the CtOrigin is still CtDeriv in each case.
* Some popular typos in commentsGabor Greif2013-12-024-5/+5
|
* Note [HyperStr and Use demands]Joachim Breitner2013-12-021-0/+14
| | | | This note is a summary of an explanation by SPJ to me.
* Move FunDeps to typecheckJoachim Breitner2013-12-021-0/+0
| | | | That’s where all its users are...
* 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
| | | | | | | | | This commit is just a refactoring, intended to make the use of rejigConRes (which sorts out the return types of GADT-like constructors) less delicate. The idea is that, if we perform role checking in a second top-level pass, we can use checkValidDataCon to check for valid return types. Previously, checking roles would force the rejigConRes thunk before we knew that rejigConRes was safe to call!
* 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
|
* Bind monadic stuff in getCoercibleInst locally, not via parametersJoachim Breitner2013-12-021-66/+71
|
* Refactor deferTcSForAllEq: Do not bind, but return EvTermJoachim Breitner2013-12-022-7/+8
|
* Print nicer error message for Coercible errorsJoachim Breitner2013-12-021-7/+12
| | | | | | | | It now reads Could not coerce from ‛S a’ to ‛S (NT a)’ and does not mention Coercible any more (as discussed in #8567).
* With GND, report Coercible errors earliyJoachim Breitner2013-12-022-28/+54
| | | | just like other type errors occurring during deriving.
* TcDeriv: s/isomorphism/coercibleJoachim Breitner2013-12-021-19/+19
| | | | in comments and function names, to use less names for the same thing.
* Revert "Respect the ordering of -package directives"Patrick Palka2013-12-011-8/+7
| | | | | | This commit was accidentally pushed. This reverts commit 574ccfa231ca05d03d1da9d31e5bc81e74cc5e1e.
* Respect the ordering of -package directivesPatrick Palka2013-12-011-7/+8
|
* Move the LDV code below the self-loop label (#8275)Patrick Palka2013-12-011-1/+1
|
* Don't explicitly refer to nodeReg in ldvEnterClosurePatrick Palka2013-12-012-7/+8
|
* Document solution to #8275Jan Stolarek2013-12-011-2/+13
|
View Lorry Controller Status