diff options
Diffstat (limited to 'compiler/deSugar/DsCCall.lhs')
| -rw-r--r-- | compiler/deSugar/DsCCall.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/deSugar/DsCCall.lhs b/compiler/deSugar/DsCCall.lhs index a40d454852..f926f53a08 100644 --- a/compiler/deSugar/DsCCall.lhs +++ b/compiler/deSugar/DsCCall.lhs @@ -209,7 +209,7 @@ boxResult :: Type -- State# RealWorld -> (# State# RealWorld #) boxResult result_ty - | Just (io_tycon, io_res_ty, co) <- tcSplitIOType_maybe result_ty + | Just (io_tycon, io_res_ty) <- tcSplitIOType_maybe result_ty -- isIOType_maybe handles the case where the type is a -- simple wrapping of IO. E.g. -- newtype Wrap a = W (IO a) @@ -236,7 +236,7 @@ boxResult result_ty ; let io_data_con = head (tyConDataCons io_tycon) toIOCon = dataConWrapId io_data_con - wrap the_call = mkCoerce (mkSymCo co) $ + wrap the_call = mkApps (Var toIOCon) [ Type io_res_ty, Lam state_id $ |