Typos in user guide example
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..
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.5 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Documentation |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | Unknown |
| Architecture | Unknown |