Hello,

Trying to compile the attached modules gives the following error message:

Main.hs:8:15:
    Ambiguous occurrence `lift'
    It could refer to either `Control.Monad.Trans.lift', ...
                          or `Apa.lift', imported from Apa at ...

Is this correct? I would have expected that an unqualified lift could only refer to the one exported from Apa in this case.

/Niklas
module Apa where

lift = id



module Main where

import Control.Monad.State
import qualified Control.Monad.Trans as T ( lift )
import           Apa                 as A

apa :: IO a -> StateT () IO a
apa = T.lift . lift

_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to