Opened 4 years ago

Closed 4 years ago

Last modified 7 weeks ago

#8505 closed bug (fixed)

Arrows example error

Reported by: pdfrod Owned by:
Priority: highest Milestone: 7.8.1
Component: Documentation Version: 7.6.3
Keywords: Arrows Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Documentation bug Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


In the section 7.15.2. Conditional commands of the User's Guide ( it is stated that:

proc (x,y) ->
        if f x y
        then g -< x+1
        else h -< y+2

is translated to:

arr (\ (x,y) -> if f x y then Left x else Right y) >>>
        (arr (\x -> x+1) >>> f) ||| (arr (\y -> y+2) >>> g)

But this translation doesn't seem correct, because the arrows g and h are not being used as in the original code (h doesn't appear at all in the translation).

Attachments (1)

0001-Fix-typo-in-User-s-Guide.patch (890 bytes) - added by pdfrod 4 years ago.

Download all attachments as: .zip

Change History (5)

comment:1 Changed 4 years ago by pdfrod

Priority: lownormal

Changed 4 years ago by pdfrod

comment:2 Changed 4 years ago by simonpj

Milestone: 7.8.1
Priority: normalhighest
Status: newpatch

Thanks! Patch looks correct to me. Austin, please apply.


comment:3 Changed 4 years ago by thoughtpolice

Resolution: fixed
Status: patchclosed

Merged, thanks!

comment:4 Changed 7 weeks ago by simonpj

Keywords: Arrows added
Note: See TracTickets for help on using tickets.