X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fspecialise%2FRules.lhs;h=1219d1c6c9ba56cd4f1fddfe66607fdcf45397b0;hb=aaae1a912d4e82de81a02ff03328e3ad363c77cb;hp=cfba1a19823befe1baadfe7a00fd47e697f5157e;hpb=9abe297285fe213ccd804f47d253055797cf667a;p=ghc-hetmet.git diff --git a/compiler/specialise/Rules.lhs b/compiler/specialise/Rules.lhs index cfba1a1..1219d1c 100644 --- a/compiler/specialise/Rules.lhs +++ b/compiler/specialise/Rules.lhs @@ -476,7 +476,7 @@ matchN :: IdUnfoldingFun -> [Var] -- ^ Match template type variables -> [CoreExpr] -- ^ Match template -> [CoreExpr] -- ^ Target; can have more elements than the template - -> Maybe (BindWrapper, -- ^ Floated bindings; see Note [Matching lets] + -> Maybe (BindWrapper, -- Floated bindings; see Note [Matching lets] [CoreExpr]) -- For a given match template and context, find bindings to wrap around -- the entire result and what should be substituted for each template variable.