[project @ 2000-10-24 17:09:44 by simonpj]

[ghc-hetmet.git] / ghc / compiler / deSugar / DsCCall.lhs

diff --git a/ghc/compiler/deSugar/DsCCall.lhs b/ghc/compiler/deSugar/DsCCall.lhs
index 6d488c4..51a22ba 100644 (file)
--- a/ghc/compiler/deSugar/DsCCall.lhs
+++ b/ghc/compiler/deSugar/DsCCall.lhs
@@ -17,34 +17,31 @@ module DsCCall
 import CoreSyn
 
 import DsMonad
-import DsUtils
 
 import CoreUtils       ( exprType, mkCoerce )
-import Id              ( Id, mkWildId )
+import Id              ( mkWildId )
 import MkId            ( mkCCallOpId, realWorldPrimId )
 import Maybes          ( maybeToBool )
-import PrimOp          ( PrimOp(..), CCall(..), CCallTarget(..) )
-import DataCon         ( DataCon, splitProductType_maybe, dataConSourceArity, dataConWrapId )
+import PrimOp          ( CCall(..), CCallTarget(..) )
+import DataCon         ( splitProductType_maybe, dataConSourceArity, dataConWrapId )
 import CallConv
 import Type            ( isUnLiftedType, splitAlgTyConApp_maybe, mkFunTys,
                          splitTyConApp_maybe, tyVarsOfType, mkForAllTys, 
                          isNewType, repType, isUnLiftedType, mkFunTy, mkTyConApp,
                          Type
                        )
-import PprType         ( {- instance Outputable Type -} )
-import TysPrim         ( byteArrayPrimTy, realWorldStatePrimTy,
+import TysPrim         ( realWorldStatePrimTy,
                          byteArrayPrimTyCon, mutableByteArrayPrimTyCon, intPrimTy
                        )
-import TysWiredIn      ( unitDataConId, stringTy,
+import TysWiredIn      ( unitDataConId,
                          unboxedSingletonDataCon, unboxedPairDataCon,
                          unboxedSingletonTyCon, unboxedPairTyCon,
-                         mkTupleTy, tupleCon,
-                         boolTy, trueDataCon, falseDataCon, trueDataConId, falseDataConId,
-                         unitTy
+                         boolTy, trueDataCon, falseDataCon, 
+                         trueDataConId, falseDataConId, unitTy
                        )
 import Literal         ( mkMachInt )
 import CStrings                ( CLabelString )
-import Unique          ( Unique, Uniquable(..), hasKey, ioTyConKey )
+import PrelNames       ( Unique, hasKey, ioTyConKey )
 import VarSet          ( varSetElems )
 import Outputable
 \end{code}
@@ -180,14 +177,12 @@ unboxArg arg
   = getSrcLocDs `thenDs` \ l ->
     pprPanic "unboxArg: " (ppr l <+> ppr arg_ty)
   where
-    arg_ty     = exprType arg
-    arg_rep_ty = repType arg_ty
-
-    maybe_product_type                                   = splitProductType_maybe arg_ty
-    is_product_type                              = maybeToBool maybe_product_type
-    Just (tycon, _, data_con, data_con_arg_tys)   = maybe_product_type
-    data_con_arity                               = dataConSourceArity data_con
-    (data_con_arg_ty1 : _)                       = data_con_arg_tys
+    arg_ty                                     = exprType arg
+    maybe_product_type                                 = splitProductType_maybe arg_ty
+    is_product_type                            = maybeToBool maybe_product_type
+    Just (_, _, data_con, data_con_arg_tys)    = maybe_product_type
+    data_con_arity                             = dataConSourceArity data_con
+    (data_con_arg_ty1 : _)                     = data_con_arg_tys
 
     (_ : _ : data_con_arg_ty3 : _) = data_con_arg_tys
     maybe_arg3_tycon              = splitTyConApp_maybe data_con_arg_ty3
@@ -302,8 +297,8 @@ resultWrapper result_ty
   | otherwise
   = pprPanic "resultWrapper" (ppr result_ty)
   where
-    maybe_product_type                                             = splitProductType_maybe result_ty
-    is_product_type                                        = maybeToBool maybe_product_type
-    Just (tycon, tycon_arg_tys, data_con, data_con_arg_tys) = maybe_product_type
-    data_con_arity                                         = dataConSourceArity data_con
+    maybe_product_type                                         = splitProductType_maybe result_ty
+    is_product_type                                    = maybeToBool maybe_product_type
+    Just (_, tycon_arg_tys, data_con, data_con_arg_tys) = maybe_product_type
+    data_con_arity                                     = dataConSourceArity data_con
 \end{code}