From c06b4bd71a94601d467b509a26c08020d1fbd794 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Fri, 28 Mar 2025 22:40:41 +0100 Subject: Pass around an accumMap (but it's empty still) --- src/Analysis/Identity.hs | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/Analysis/Identity.hs') diff --git a/src/Analysis/Identity.hs b/src/Analysis/Identity.hs index 095d0fa..54f7cd2 100644 --- a/src/Analysis/Identity.hs +++ b/src/Analysis/Identity.hs @@ -3,7 +3,9 @@ {-# LANGUAGE LambdaCase #-} {-# LANGUAGE ScopedTypeVariables #-} module Analysis.Identity ( + ValId(..), identityAnalysis, + identityAnalysis', ) where import Data.Foldable (toList) @@ -50,6 +52,9 @@ identityAnalysis env term = runIdGen 0 $ do env' <- slistMapA genIds env snd <$> idana env' term +identityAnalysis' :: SList ValId env -> Expr x env t -> Expr ValId env t +identityAnalysis' env term = snd (runIdGen 0 (idana env term)) + idana :: SList ValId env -> Expr x env t -> IdGen (ValId t, Expr ValId env t) idana env expr = case expr of EVar _ t i -> do -- cgit v1.2.3-70-g09d2