import Id ( getInstantiatedDataConSig, mkTupleCon )
import Maybes ( maybeToBool )
import PprStyle ( PprStyle(..) )
-import PprType ( GenType{-instances-}, GenTyVar{-instance-} )
+import PprType ( GenType{-instances-} )
import PrelInfo ( byteArrayPrimTy, getStatePairingConInfo,
packStringForCId, realWorldStatePrimTy,
realWorldStateTy, realWorldTy, stateDataCon,
import Pretty
import PrimOp ( PrimOp(..) )
import Type ( isPrimType, maybeAppDataTyCon, eqTy )
-import TyVar ( GenTyVar{-instance-} )
-import Unique ( Unique{-instances-} )
-import Util ( pprPanic, panic )
+import Util ( pprPanic, pprError, panic )
maybeBoxedPrimType = panic "DsCCall.maybeBoxedPrimType"
\end{code}
(data_con_arg_ty1 : data_con_arg_ty2 : _) = data_con_arg_tys
can't_see_datacons_error thing ty
- = error (ppShow 100 (ppBesides [ppStr "ERROR: Can't see the data constructor(s) for _ccall_/_casm_ ", ppStr thing, ppStr "; type: ", ppr PprForUser ty]))
+ = pprError "ERROR: Can't see the data constructor(s) for _ccall_/_casm_ "
+ (ppBesides [ppStr thing, ppStr "; type: ", ppr PprForUser ty])
\end{code}