X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fstranal%2FDmdAnal.lhs;h=1066b774c6eaa6cd82314e6a71d3b672567df690;hb=853e20a3eb86137cdb8accf69c6caa9db83a3d34;hp=9ac5e38c00859342928a4994935232d3c8fefe6b;hpb=ca739e852566d7e0bfd594e6d7bf08da04f78d3c;p=ghc-hetmet.git diff --git a/ghc/compiler/stranal/DmdAnal.lhs b/ghc/compiler/stranal/DmdAnal.lhs index 9ac5e38..1066b77 100644 --- a/ghc/compiler/stranal/DmdAnal.lhs +++ b/ghc/compiler/stranal/DmdAnal.lhs @@ -888,7 +888,7 @@ argDemand d = d ------------------------- -- Consider (if x then y else []) with demand V -- Then the first branch gives {y->V} and the second --- *implicitly* has {y->A}. So we must put {y->(V `lub` A)} +-- *implicitly* has {y->A}. So we must put {y->(V `lub` A)} -- in the result env. lubType (DmdType fv1 ds1 r1) (DmdType fv2 ds2 r2) = DmdType lub_fv2 (lub_ds ds1 ds2) (r1 `lubRes` r2)