diff options
author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-09-20 17:38:56 +0000 |
---|---|---|
committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-09-20 17:38:56 +0000 |
commit | 6fcf90065dc4e75b7dc6bbf238a9891a71ae5a86 (patch) | |
tree | a8790a485e202ff25a43ee2e1b3d6e0516831d15 /compiler/deSugar/DsCCall.lhs | |
parent | 5ed1437f5cda8190cc6538284cf0dc761549db8e (diff) | |
download | haskell-6fcf90065dc4e75b7dc6bbf238a9891a71ae5a86.tar.gz |
fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
Mon Sep 18 14:51:33 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
Sat Aug 5 21:48:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
Wed Jul 19 08:06:28 EDT 2006 kevind@bu.edu
Diffstat (limited to 'compiler/deSugar/DsCCall.lhs')
-rw-r--r-- | compiler/deSugar/DsCCall.lhs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/deSugar/DsCCall.lhs b/compiler/deSugar/DsCCall.lhs index 0541f5d97f..4fe5f2d951 100644 --- a/compiler/deSugar/DsCCall.lhs +++ b/compiler/deSugar/DsCCall.lhs @@ -34,7 +34,7 @@ import Type ( Type, isUnLiftedType, mkFunTys, mkFunTy, splitRecNewType_maybe, splitForAllTy_maybe, isUnboxedTupleType ) -import Coercion ( Coercion, splitRecNewTypeCo_maybe, mkSymCoercion ) +import Coercion ( Coercion, splitNewTypeRepCo_maybe, mkSymCoercion ) import PrimOp ( PrimOp(..) ) import TysPrim ( realWorldStatePrimTy, intPrimTy, byteArrayPrimTyCon, mutableByteArrayPrimTyCon, @@ -160,7 +160,7 @@ unboxArg arg = returnDs (arg, \body -> body) -- Recursive newtypes - | Just(rep_ty, co) <- splitRecNewTypeCo_maybe arg_ty + | Just(rep_ty, co) <- splitNewTypeRepCo_maybe arg_ty = unboxArg (mkCoerce (mkSymCoercion co) arg) -- Booleans @@ -399,7 +399,7 @@ resultWrapper result_ty (LitAlt (mkMachInt 0),[],Var falseDataConId)]) -- Recursive newtypes - | Just (rep_ty, co) <- splitRecNewTypeCo_maybe result_ty + | Just (rep_ty, co) <- splitNewTypeRepCo_maybe result_ty = resultWrapper rep_ty `thenDs` \ (maybe_ty, wrapper) -> returnDs (maybe_ty, \e -> mkCoerce co (wrapper e)) |