Skip to content

Fails to build because filterM, liftM not in scope #10

@bamarsha

Description

@bamarsha

stack build fails with several error messages using GHC 9.10.2, but adding import Control.Monad to each file fixes it.

❯ stack build
as2-0.1.0.0: unregistering (local file changes: Src/Autosubst/GenAutomation.hs Src/Autosubst/GenCode.hs Src/Autosubst/GenM.hs Src/Autosubst/Gener...)
as2> build (lib + exe) with ghc-9.10.2
Preprocessing library for as2-0.1.0.0...
Building library for as2-0.1.0.0...
[ 2 of 13] Compiling Autosubst.GenM [Source file changed]
/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:113:3: error: [GHC-88464]
    Variable not in scope:
      filterM
        :: (TId -> m2 Bool)
           -> [TId]
           -> RWST Signature [(String, Doc)] Scope (Except String) [TId]
    Suggested fix:
      Perhaps use one of these:
        ‘filter’ (imported from Data.List),
        ‘M.filter’ (imported from Data.Map),
        ‘S.filter’ (imported from Data.Set)
    |
113 |   filterM (\x -> do
    |   ^^^^^^^

/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:120:3: error: [GHC-88464]
    Variable not in scope:
      filterM
        :: (TId -> m1 Bool)
           -> [TId]
           -> RWST Signature [(String, Doc)] Scope (Except String) [TId]
    Suggested fix:
      Perhaps use one of these:
        ‘filter’ (imported from Data.List),
        ‘M.filter’ (imported from Data.Map),
        ‘S.filter’ (imported from Data.Set)
    |
120 |   filterM isOpen (concat (map fst spec))
    |   ^^^^^^^

/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:179:10: error: [GHC-88464]
    Variable not in scope:
      filterM
        :: (TId
            -> RWST Signature [(String, Doc)] Scope (Except String) Bool)
           -> [TId]
           -> RWST Signature [(String, Doc)] Scope (Except String) [TId]
    Suggested fix:
      Perhaps use one of these:
        ‘filter’ (imported from Data.List),
        ‘M.filter’ (imported from Data.Map),
        ‘S.filter’ (imported from Data.Set)
    |
179 |   occ <- filterM (\z -> do
    |          ^^^^^^^

/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:238:3: error: [GHC-88464]
    Variable not in scope:
      filterM
        :: (TId
            -> RWST Signature [(String, Doc)] Scope (Except String) Bool)
           -> [TId]
           -> RWST Signature [(String, Doc)] Scope (Except String) [TId]
    Suggested fix:
      Perhaps use one of these:
        ‘filter’ (imported from Data.List),
        ‘M.filter’ (imported from Data.Map),
        ‘S.filter’ (imported from Data.Set)
    |
238 |   filterM (\z -> do
    |   ^^^^^^^

/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:245:3: error: [GHC-88464]
    Variable not in scope:
      filterM
        :: (TId
            -> RWST Signature [(String, Doc)] Scope (Except String) Bool)
           -> [TId]
           -> RWST Signature [(String, Doc)] Scope (Except String) [TId]
    Suggested fix:
      Perhaps use one of these:
        ‘filter’ (imported from Data.List),
        ‘M.filter’ (imported from Data.Map),
        ‘S.filter’ (imported from Data.Set)
    |
245 |   filterM (\z -> do
    |   ^^^^^^^

/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:252:9: error: [GHC-88464]
    Variable not in scope:
      filterM
        :: (TId
            -> RWST Signature [(String, Doc)] Scope (Except String) Bool)
           -> [TId]
           -> RWST Signature [(String, Doc)] Scope (Except String) (t1 a1)
    Suggested fix:
      Perhaps use one of these:
        ‘filter’ (imported from Data.List),
        ‘M.filter’ (imported from Data.Map),
        ‘S.filter’ (imported from Data.Set)
    |
252 |   ys <- filterM (\y -> do
    |         ^^^^^^^

/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:260:3: error: [GHC-88464]
    Variable not in scope:
      liftM
        :: (t2 [a2] -> [a2])
           -> RWST
                Signature [(String, Doc)] Scope (Except String) [[(TId, TId)]]
           -> GenM [(TId, TId)]
    Suggested fix: Perhaps use ‘lift’ (imported from Control.Monad.RWS)
    |
260 |   liftM concat (mapM (\x -> do
    |   ^^^^^

/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:266:20: error: [GHC-88464]
    Variable not in scope:
      liftM
        :: (t0 [a0] -> [a0])
           -> RWST
                Signature [(String, Doc)] Scope (Except String) [[(TId, TId)]]
           -> GenM [(TId, TId)]
    Suggested fix: Perhaps use ‘lift’ (imported from Control.Monad.RWS)
    |
266 | extensionList xs = liftM concat (mapM (\x -> do
    |                    ^^^^^

/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:276:11: error: [GHC-88464]
    Variable not in scope:
      filterM
        :: (TId -> m0 Bool)
           -> [TId]
           -> RWST Signature [(String, Doc)] Scope (Except String) (t3 a3)
    Suggested fix:
      Perhaps use one of these:
        ‘filter’ (imported from Data.List),
        ‘M.filter’ (imported from Data.Map),
        ‘S.filter’ (imported from Data.Set)
    |
276 |     ys <- filterM isOpen xs
    |           ^^^^^^^

/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:296:13: error: [GHC-88464]
    Variable not in scope:
      filterM
        :: (TId -> GenM Bool)
           -> [TId]
           -> RWST Signature [(String, Doc)] Scope (Except String) [TId]
    Suggested fix:
      Perhaps use one of these:
        ‘filter’ (imported from Data.List),
        ‘M.filter’ (imported from Data.Map),
        ‘S.filter’ (imported from Data.Set)
    |
296 |   args'' <- filterM isVariantSort args'
    |             ^^^^^^^

/Users/brianna/Code/uds-psl/autosubst2/Src/Autosubst/GenM.hs:305:13: error: [GHC-88464]
    Variable not in scope:
      filterM
        :: (TId -> GenM Bool)
           -> [TId]
           -> RWST Signature [(String, Doc)] Scope (Except String) [TId]
    Suggested fix:
      Perhaps use one of these:
        ‘filter’ (imported from Data.List),
        ‘M.filter’ (imported from Data.Map),
        ‘S.filter’ (imported from Data.Set)
    |
305 |   args'' <- filterM isVariantSort args'
    |             ^^^^^^^


Error: [S-7282]
       Stack failed to execute the build plan.

       While executing the build plan, Stack encountered the error:

       [S-7011]
       While building package as2-0.1.0.0 (scroll up to its section to see the error) using:
       /Users/brianna/.stack/setup-exe-cache/aarch64-osx/Cabal-simple_w2MFVN35_3.12.1.0_ghc-9.10.2 --verbose=1 --builddir=.stack-work/dist/aarch64-osx/ghc-9.10.2 build lib:as2 exe:as2-exe --ghc-options " -fdiagnostics-color=always"
       Process exited with code: ExitFailure 1

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions