#13875: ApplicativeDo desugaring is lazier than standard desugaring -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: simonmar Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 8.3 Resolution: | Keywords: ApplicativeDo Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3681 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Iceland_jack): I have long had an idea for an `ado`, restricting the `do`-notation to be `Applicative` or weaker. It would make the user intent's clearer, "this should not have a `Monad` constraint" and paves the way for a wealth of Shakespearean puns -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13875#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler