X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FcoreSyn%2FCoreLint.lhs;h=a147ce2d7e9599d4202de308ddd6ad84f126f37c;hp=354b95c7624db36c4452626b6d9420937c862eb3;hb=e380d180947b309f6d548ddb8a3f8144c08aaff4;hpb=cd829ab3b15e6a7c30cedde2ca59fb5617aec32c diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs index 354b95c..a147ce2 100644 --- a/compiler/coreSyn/CoreLint.lhs +++ b/compiler/coreSyn/CoreLint.lhs @@ -509,8 +509,7 @@ lintCoreAlt scrut_ty alt_ty alt@(DataAlt con, args, rhs) -- NB: args must be in scope here so that the lintCoreArgs line works. -- NB: relies on existential type args coming *after* ordinary type args - ; con_result_ty <- - lintCoreArgs (dataConRepType con) + ; con_result_ty <- lintCoreArgs (dataConRepType con) (map Type tycon_arg_tys ++ varsToCoreExprs args) ; checkTys con_result_ty scrut_ty (mkBadPatMsg con_result_ty scrut_ty) }