Replaced # with $

This commit is contained in:
Samuel Hammersberg 2023-04-07 16:01:23 +02:00
parent 9c699ecb63
commit 21b1ba7b1f

View file

@ -104,7 +104,7 @@ newName name = do
}
pure name'
where
mk (LIdent name) i = LIdent ("#" ++ show i ++ name)
mk (LIdent name) i = LIdent ("$" ++ show i ++ name)
localNames :: MonadState Cxt m => m b -> m b
localNames m = do