rebindable-syntax arrow docs

[guest]

http://www.haskell.org/ghc/docs/6.10.1/html/users_guide/syntax-extns.html#rebindable-syntax

has perhaps got Arrows wrong. Does it use the "arr" and ">>>" in scope, or does it use the (normally in class Category) "id" and "."? Which should it use? (Does anyone use arrow-sugar with NoImplicitPrelude?)

maybe it's all fine, in which case just mark this "invalid".

-Isaac D.

[simonpj]

Looking at the code, the rebindable names are:

  loop
  (|||)
  app
  arr
  (>>>)
  first

Whether these are the "right" ones I don't know (Ross?), but that seems to be the set actually used. No id or (.) so far as I can see.

Simon

[ross]

So those are the names, and it looks them up in the same way as other rebindable names. The names seem a reasonable choice. I don't see any bug here.