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/Infra/SIO.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/Infra/SIO.hs')
| -rw-r--r-- | src/compiler/GF/Infra/SIO.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/GF/Infra/SIO.hs b/src/compiler/GF/Infra/SIO.hs index 906f39345..7b5a7dac6 100644 --- a/src/compiler/GF/Infra/SIO.hs +++ b/src/compiler/GF/Infra/SIO.hs @@ -52,11 +52,11 @@ newtype SIO a = SIO {unS::PutStr->IO a} instance Functor SIO where fmap = liftM instance Applicative SIO where - pure = return + pure x = SIO (const (pure x)) (<*>) = ap instance Monad SIO where - return x = SIO (const (return x)) + return = pure SIO m1 >>= xm2 = SIO $ \ h -> m1 h >>= \ x -> unS (xm2 x) h instance Fail.MonadFail SIO where |