diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-12-05 22:14:21 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-12-07 09:16:25 +0100 |
| commit | 51d78df83fc69df8e54cb72212a91576da8bf5b0 (patch) | |
| tree | 3e26ce743ad7ea72d7ca152f63fb597adb7fcd92 /src/Parser | |
| parent | 1b26af0b8da3bf9527d92978b3f23c851c749510 (diff) | |
Arguments for user-defined functions
Diffstat (limited to 'src/Parser')
| -rw-r--r-- | src/Parser/Core.hs | 3 |
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 |