X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FcoreSyn%2FCoreArity.lhs;h=673d619e9afe323e3f2859a8bce712aeeb7d5941;hb=cd0e2c0cc3005c3f5e74eeda57dc9cebbe1bac7e;hp=cacf4230a7bf55e6951754018e1abf3beff511ac;hpb=e45d0387b4fdfe83ce9228631938882ef96f7288;p=ghc-hetmet.git diff --git a/compiler/coreSyn/CoreArity.lhs b/compiler/coreSyn/CoreArity.lhs index cacf423..673d619 100644 --- a/compiler/coreSyn/CoreArity.lhs +++ b/compiler/coreSyn/CoreArity.lhs @@ -631,6 +631,6 @@ freshEtaId n subst ty ty' = substTy subst ty eta_id' = uniqAway (getTvInScope subst) $ mkSysLocal (fsLit "eta") (mkBuiltinUnique n) ty' - subst' = extendTvInScope subst [eta_id'] + subst' = extendTvInScope subst eta_id' \end{code}