#7828: RebindableSyntax and Arrow ----------------------------------------------+---------------------------- Reporter: AlessandroVermeulen | Owner: Type: bug | jstolarek Priority: normal | Status: new Component: Compiler (Type checker) | Milestone: 7.10.1 Resolution: | Version: 7.6.2 Operating System: Unknown/Multiple | Keywords: Type of failure: GHC rejects valid program | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: Unknown | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by simonpj): Ross that looks attractive. Is it enough for desugaring? That is, is the translation above what you would use for desugaring? It looks a LOT simpler than the present desugaring! Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7828#comment:18 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler