Jan’s question is a good one, but I don’t know enough about procs to be able to answer. I do know that the answer can be found by looking for uses of `tcSyntaxOp` in the TcArrows module.... but I just can’t translate it all to source Haskell, having roughly 0 understanding of this end of the language.
Can anyone else help Jan here? Richard > On Nov 23, 2016, at 4:34 AM, Jan Bracker via ghc-devs <ghc-devs@haskell.org> > wrote: > > Hello, > > I want to use the proc-notation together with RebindableSyntax. So far what I > am trying to do is working fine, but I would like to know what the exact > restrictions on the supplied functions are. I am introducing additional > indices and constraints on the operations. The documentation [1] says the > details are in flux and that I should ask directly. > > Best, > Jan > > [1] > https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#rebindable-syntax-and-the-implicit-prelude-import > > <https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#rebindable-syntax-and-the-implicit-prelude-import>_______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs