From 41d3b8282baddc1f8c40d0f4bdc2f29cbb49cb8e Mon Sep 17 00:00:00 2001 From: timmy Date: Tue, 20 Feb 2024 17:41:49 -0500 Subject: [PATCH] reverting common.hs --- gibbon-compiler/src/Gibbon/Common.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gibbon-compiler/src/Gibbon/Common.hs b/gibbon-compiler/src/Gibbon/Common.hs index 1b24bbb5..895b1fa5 100644 --- a/gibbon-compiler/src/Gibbon/Common.hs +++ b/gibbon-compiler/src/Gibbon/Common.hs @@ -148,7 +148,7 @@ newUniq = state (\x -> (x, x+1)) -- | Generate a unique symbol by attaching a numeric suffix. gensym :: MonadState Int m => Var -> m Var -gensym v = state (\n -> (cleanFunName v `varAppend` "_/v" `varAppend` toVar (show n), n + 1)) +gensym v = state (\n -> (cleanFunName v `varAppend` toVar (show n), n + 1)) gensym_tag :: MonadState Int m => Var -> String -> m Var gensym_tag v str = state (\n -> (cleanFunName v `varAppend` toVar (show n ++ str) , n + 1))