From de16bf12df9e5d06f661e063fa73d20e5f506e9d Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Tue, 13 Feb 2024 10:42:17 -0700 Subject: [PATCH] fix: tag nested data names --- src/Core2Core.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Core2Core.hs b/src/Core2Core.hs index a187a63..d1bcfe3 100644 --- a/src/Core2Core.hs +++ b/src/Core2Core.hs @@ -70,7 +70,7 @@ tagData p = let ?dt = p ^. programDataTags go x = embed x tagAlts :: (?dt :: HashMap Name (Tag, Int)) => Alter' -> Alter' - tagAlts (Alter (AltData c) bs e) = Alter (AltTag tag) bs e + tagAlts (Alter (AltData c) bs e) = Alter (AltTag tag) bs (cata go e) where tag = case ?dt ^. at c of Just (t,_) -> t -- TODO: errorful