#10381: Type-checking failure with RankNTypes and RebindableSyntax -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by shachaf): I can't test the code right now, but I'd expect `do { bar <- foo; return bar }` to mean `let { ok bar = return bar; ok _ = fail "..." } in foo >>= ok` as specified in the report. That could probably have rank-2 problems where a lambda doesn't. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10381#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler