#9596: Create monoidal category framework for arrow desugarer -------------------------------------+------------------------------------- Reporter: | Owner: spacekitteh spacekitteh | Status: new Type: task | Milestone: 7.10.1 Priority: normal | Version: Component: GHC API | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Project (more Unknown/Multiple | than a week) Type of failure: | Blocked By: None/Unknown | Related Tickets: #7828 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): I urge you to document your design on a GHC Trac wiki page, including writing out all the typing and desugaring rules, before staring work on an implementation. No sense in implementing something only to realise the design needs refinement! There is ongoing work in #7828, and you may want to talk to Jan Stolarek and Ross Paterson about it. It would be a pity to have two competing patches! Also it'll make it much easier for me (I find arrows difficult) if the arrows community is speaking with one voice about what they want to do. Of course, none of this is to stand in the way of you doing things in a fork of your own -- GHC is an open source project! It's just that if you want your work to be absorbed into HEAD, then the above things become important. Thanks Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9596#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler