diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-04 17:59:09 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-16 21:30:00 +0100 |
| commit | fbe14a8e8861403c207dddd6c496096924293bef (patch) | |
| tree | 6018bfece40da3a8f496db87b5cdd9e50c172a52 /compiler/stranal | |
| parent | 6b6a30d6b65e8cc563b3cad5f53cf6af75caee4c (diff) | |
| download | haskell-fbe14a8e8861403c207dddd6c496096924293bef.tar.gz | |
Clarify the default demand on demand environments
by adding Notes and using easier to understand combinators.
Diffstat (limited to 'compiler/stranal')
| -rw-r--r-- | compiler/stranal/DmdAnal.lhs | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/compiler/stranal/DmdAnal.lhs b/compiler/stranal/DmdAnal.lhs index 8a2cf4c033..3b805d97c0 100644 --- a/compiler/stranal/DmdAnal.lhs +++ b/compiler/stranal/DmdAnal.lhs @@ -728,16 +728,6 @@ addLazyFVs dmd_ty lazy_fvs -- call to f. So we just get an L demand for x for g. \end{code} -Note [Default demand for variables] -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - -If the variable is not mentioned in the environment of a demand type, -its demand is taken to be a result demand of the type: either L or the -bottom. Both are safe from the semantical pont of view, however, for -the safe result we also have absent demand set to Abs, which makes it -possible to safely ignore non-mentioned variables (their joint demand -is <L,A>). - Note [do not strictify the argument dictionaries of a dfun] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |