summaryrefslogtreecommitdiff
path: root/src/Parser/Core.hs
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2024-12-05 22:14:21 +0100
committerRoman Smrž <roman.smrz@seznam.cz>2024-12-07 09:16:25 +0100
commit51d78df83fc69df8e54cb72212a91576da8bf5b0 (patch)
tree3e26ce743ad7ea72d7ca152f63fb597adb7fcd92 /src/Parser/Core.hs
parent1b26af0b8da3bf9527d92978b3f23c851c749510 (diff)
Arguments for user-defined functions
Diffstat (limited to 'src/Parser/Core.hs')
-rw-r--r--src/Parser/Core.hs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Parser/Core.hs b/src/Parser/Core.hs
index 57b2eb4..5fb4c5f 100644
--- a/src/Parser/Core.hs
+++ b/src/Parser/Core.hs
@@ -200,7 +200,8 @@ localState :: TestParser a -> TestParser a
localState inner = do
s <- get
x <- inner
- put s
+ s' <- get
+ put s { testNextTypeVar = testNextTypeVar s', testTypeUnif = testTypeUnif s' }
return x
toplevel :: (a -> Toplevel) -> TestParser a -> TestParser Toplevel