Opened 11 years ago

Closed 11 years ago

#2821 closed bug (invalid)

rebindable-syntax arrow docs

Reported by: guest Owned by:
Priority: normal Milestone:
Component: Documentation Version: 6.10.1
Keywords: Cc: ross@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

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.

Change History (2)

comment:1 Changed 11 years ago by simonpj

Cc: ross@… added
difficulty: Unknown

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

comment:2 Changed 11 years ago by ross

Resolution: invalid
Status: newclosed

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.

Note: See TracTickets for help on using tickets.