Changes between Version 1 and Version 3 of Ticket #12143


Ignore:
Timestamp:
Jun 3, 2016 2:05:13 PM (3 years ago)
Author:
MichaelBurge
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12143

    • Property Cc RyanGlScott added
  • Ticket #12143 – Description

    v1 v3  
    1 If I bring in a spurious parameter, ApplicativeDo correctly infers Functor if I bind an unused variable:
     1ApplicativeDo correctly infers Functor if I bind an unused variable:
    22{{{
    33Prelude> :t \m -> do { x <- m; return True; }
     
    1010It seems like if 'x' is unused, then 'x <- m' and 'm' should be equivalent.
    1111
    12 I would expect the second example desugar to Functor or Applicative. And maybe 'return True' should be Monad, but 'do { return True; }' should be Applicative?
     12And maybe 'return True' should be Monad, but 'do { return True; }' should be Applicative?