diff options
| author | Arianna Masciolini <uzkamascio@gmail.com> | 2025-08-02 19:02:30 +0200 |
|---|---|---|
| committer | Arianna Masciolini <uzkamascio@gmail.com> | 2025-08-02 19:02:30 +0200 |
| commit | 5170668ff27f2149b43d479b5d702124b04c1d98 (patch) | |
| tree | 5f3f85c169ab23f2cbc4cacdabebfbd482fe948c /src/compiler/GF/Compile/GeneratePMCFG.hs | |
| parent | 5776b567a2aa78902bf5e4b40cf0bbb69bdbde9a (diff) | |
| parent | 65e85c5a3cba4df82547a018b4135ac63551d8df (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core into hleiss/master
Diffstat (limited to 'src/compiler/GF/Compile/GeneratePMCFG.hs')
| -rw-r--r-- | src/compiler/GF/Compile/GeneratePMCFG.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/GF/Compile/GeneratePMCFG.hs b/src/compiler/GF/Compile/GeneratePMCFG.hs index 8383f0624..74615dc98 100644 --- a/src/compiler/GF/Compile/GeneratePMCFG.hs +++ b/src/compiler/GF/Compile/GeneratePMCFG.hs @@ -201,11 +201,11 @@ instance Fail.MonadFail CnvMonad where fail = bug instance Applicative CnvMonad where - pure = return + pure a = CM (\gr c s -> c a s) (<*>) = ap instance Monad CnvMonad where - return a = CM (\gr c s -> c a s) + return = pure CM m >>= k = CM (\gr c s -> m gr (\a s -> unCM (k a) gr c s) s) instance MonadState ([ProtoFCat],[Symbol]) CnvMonad where |