From ae649fc199cb0442571a466c11898e4427f84c01 Mon Sep 17 00:00:00 2001 From: Chris Hall Date: Thu, 24 May 2018 10:24:12 +1000 Subject: [PATCH] Updating Exp/Annot/Compounds.hs to be XAsync aware --- src/s1/ddc-core/DDC/Core/Exp/Annot/Compounds.hs | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/src/s1/ddc-core/DDC/Core/Exp/Annot/Compounds.hs b/src/s1/ddc-core/DDC/Core/Exp/Annot/Compounds.hs index 573152905..d7089c05c 100644 --- a/src/s1/ddc-core/DDC/Core/Exp/Annot/Compounds.hs +++ b/src/s1/ddc-core/DDC/Core/Exp/Annot/Compounds.hs @@ -98,19 +98,20 @@ annotOfExp xx XAtom a _ -> a XCase a _ _ -> a XCast a _ _ -> a - + XAsync a _ _ _ -> a -- | Apply a function to the annotation of an expression. mapAnnotOfExp :: (a -> a) -> Exp a n -> Exp a n mapAnnotOfExp f xx = case xx of - XVar a u -> XVar (f a) u - XAbs a b x -> XAbs (f a) b x - XApp a x1 x2 -> XApp (f a) x1 x2 - XLet a lt x -> XLet (f a) lt x - XAtom a t -> XAtom (f a) t - XCase a x as -> XCase (f a) x as - XCast a c x -> XCast (f a) c x + XVar a u -> XVar (f a) u + XAbs a b x -> XAbs (f a) b x + XApp a x1 x2 -> XApp (f a) x1 x2 + XLet a lt x -> XLet (f a) lt x + XAtom a t -> XAtom (f a) t + XCase a x as -> XCase (f a) x as + XCast a c x -> XCast (f a) c x + XAsync a v e1 e2 -> XAsync (f a) v e1 e2 -- Lambdas ---------------------------------------------------------------------