diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2025-08-02 18:59:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-02 18:59:07 +0200 |
| commit | 65e85c5a3cba4df82547a018b4135ac63551d8df (patch) | |
| tree | 33a842b24b9e3851c6b6cf095f11f562b0fd6b7f /src/runtime/haskell/PGF | |
| parent | 981d6b9bddacee6a204ac48f2a4e27f4cca1bd47 (diff) | |
| parent | 01c4f82e077b93cb2318830c56070c0ec15a20e6 (diff) | |
Merge pull request #175 from inariksit/new-ghc
Changes to make it work with newer stack/GHC:
- unix library changed API in 2.8
- Monad of no return & Semigroup as a superclass of Monoid
- import Control.Monad (join, when, (<=<))
- fixed CI issues
Diffstat (limited to 'src/runtime/haskell/PGF')
| -rw-r--r-- | src/runtime/haskell/PGF/TypeCheck.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/runtime/haskell/PGF/TypeCheck.hs b/src/runtime/haskell/PGF/TypeCheck.hs index 82bd47b7a..f02986fc0 100644 --- a/src/runtime/haskell/PGF/TypeCheck.hs +++ b/src/runtime/haskell/PGF/TypeCheck.hs @@ -94,11 +94,11 @@ class Selector s where select :: CId -> Scope -> Maybe Int -> TcM s (Expr,TType) instance Applicative (TcM s) where - pure = return + pure x = TcM (\abstr k h -> k x) (<*>) = ap instance Monad (TcM s) where - return x = TcM (\abstr k h -> k x) + return = pure f >>= g = TcM (\abstr k h -> unTcM f abstr (\x -> unTcM (g x) abstr k h) h) instance Selector s => Alternative (TcM s) where |