Pass around an accumMap (but it's empty still)

1 files changed, 5 insertions, 0 deletions

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