Ross that looks attractive. Is it enough for desugaring? That is, is

#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 ross): Replying to [comment:18 simonpj]: the translation above what you would use for desugaring? It looks a LOT simpler than the present desugaring! It's only part of it. This would treat do and if commands as derived constructs, defined in terms of a kernel command language. But that language would still need to be type-checked using the command rules (with their split environments), and would still need to be translated into expressions, as now. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7828#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler