Opened 8 years ago

Closed 8 years ago

Last modified 4 years ago

#777 closed bug (fixed)

Typos in user guide example

Reported by: guest Owned by:
Priority: normal Milestone:
Component: Documentation Version: 6.5
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Difficulty: Easy (less than 1 hour)
Test Case: Blocked By:
Blocking: Related Tickets:

Description

In section "7.4.1.3 Liberalised type synonyms" of the user guide i find the following example:

type Discard a = forall b. Show b => a -> b -> (a, String)

f
Discard a f x y = (x, show y)
g
Discard Int -> (Int,Bool) -- A rank-2 type g f = f Int True

It seems like that Bool should be String.. and that Int should be an actual number?
I am new to haskell.. so I might just be missing something here..

Change History (4)

comment:1 Changed 8 years ago by simonpj

  • Resolution set to fixed
  • Status changed from new to closed

Good point. Now fixed, thank you.

Simon

comment:2 Changed 6 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:3 Changed 6 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple

comment:4 Changed 4 years ago by simonmar

  • Difficulty changed from Easy (1 hr) to Easy (less than 1 hour)
Note: See TracTickets for help on using tickets.