DmdAnal: Clarify reference to Cardinality Analysis paper
authorBen Gamari <ben@smart-cactus.org>
Sun, 26 Feb 2017 23:45:14 +0000 (18:45 -0500)
committerBen Gamari <ben@smart-cactus.org>
Tue, 28 Feb 2017 14:26:14 +0000 (09:26 -0500)
compiler/stranal/DmdAnal.hs

index ee56d85..38dc6e3 100644 (file)
@@ -111,7 +111,7 @@ dmdTransformThunkDmd e
 
 -- Do not process absent demands
 -- Otherwise act like in a normal demand analysis
--- See |-* relation in the companion paper
+-- See ↦* relation in the Cardinality Analysis paper
 dmdAnalStar :: AnalEnv
             -> Demand   -- This one takes a *Demand*
             -> CoreExpr -> (BothDmdArg, CoreExpr)