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 |