Skip to content
Snippets Groups Projects

ApplicativeDo Fails to Desugar 'return True'

    • Closed Issue created by MichaelBurge @trac-MichaelBurge

    ApplicativeDo correctly infers Functor if I bind an unused variable:

    Prelude> :t \m -> do { x <- m; return True; }
\m -> do { x <- m; return True; } :: Functor f => f t -> f Bool

Prelude> :t \m -> do { m; return True; }
\m -> do { m; return True; } :: Monad m => m a -> m Bool

    It seems like if 'x' is unused, then 'x <- m' and 'm' should be equivalent.

    And maybe 'return True' should be Monad, but 'do { return True; }' should be Applicative?

    Edited
    To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information

    Child items ...

    • Activity

    Please register or sign in to reply