diff options
Diffstat (limited to 'src/Analysis/Identity.hs')
| -rw-r--r-- | src/Analysis/Identity.hs | 5 |
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 |