[project @ 1996-04-08 16:15:43 by partain]

[ghc-hetmet.git] / ghc / compiler / types / Type.lhs

diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs
index d84a1da..0d25048 100644 (file)
--- a/ghc/compiler/types/Type.lhs
+++ b/ghc/compiler/types/Type.lhs
@@ -377,8 +377,8 @@ maybeBoxedPrimType :: Type -> Maybe (Id, Type)
 maybeBoxedPrimType ty
   = case (maybeAppDataTyCon ty) of             -- Data type,
       Just (tycon, tys_applied, [data_con])    -- with exactly one constructor
-        -> case (getInstantiatedDataConSig data_con tys_applied) of
-            (_, [data_con_arg_ty], _)          -- Applied to exactly one type,
+        -> case (dataConArgTys data_con tys_applied) of
+            [data_con_arg_ty]                  -- Applied to exactly one type,
                | isPrimType data_con_arg_ty    -- which is primitive
                -> Just (data_con, data_con_arg_ty)
             other_cases -> Nothing