X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FstgSyn%2FStgLint.lhs;h=326cd44578e7c25004b3a4cf35b1996677b196c6;hb=c5b03909e7c630a874f6f1abf76d28baf4b19d55;hp=ba1f6c7c3601b98116b567e5203a4556002017bf;hpb=853e20a3eb86137cdb8accf69c6caa9db83a3d34;p=ghc-hetmet.git

diff --git a/ghc/compiler/stgSyn/StgLint.lhs b/ghc/compiler/stgSyn/StgLint.lhs
index ba1f6c7..326cd44 100644
--- a/ghc/compiler/stgSyn/StgLint.lhs
+++ b/ghc/compiler/stgSyn/StgLint.lhs
@@ -13,7 +13,7 @@ import StgSyn
 import Bag		( Bag, emptyBag, isEmptyBag, snocBag, bagToList )
 import Id		( Id, idType, isLocalId )
 import VarSet
-import DataCon		( DataCon, dataConArgTys, dataConRepType )
+import DataCon		( DataCon, dataConInstArgTys, dataConRepType )
 import CoreSyn		( AltCon(..) )
 import PrimOp		( primOpType )
 import Literal		( literalType )
@@ -259,7 +259,7 @@ lintAlt scrut_ty (DataAlt con, args, _, rhs)
 				  not (isNewTyCon tycon) ->
 	 let
 	   cons    = tyConDataCons tycon
-	   arg_tys = dataConArgTys con tys_applied
+	   arg_tys = dataConInstArgTys con tys_applied
 		-- This almost certainly does not work for existential constructors
 	 in
 	 checkL (con `elem` cons) (mkAlgAltMsg2 scrut_ty con) `thenL_`