diff options
author | Ian Lynagh <igloo@earth.li> | 2008-10-28 15:04:47 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2008-10-28 15:04:47 +0000 |
commit | 5bd23e513eeff5beb852d60e2c9ff6314e24e87b (patch) | |
tree | dcd4b4287a34017fa1994d8a66744d63c6f83eb6 /docs/users_guide | |
parent | faad3e2091bff839a962ffc32c003124aa9c02af (diff) | |
download | haskell-5bd23e513eeff5beb852d60e2c9ff6314e24e87b.tar.gz |
Rename some variables in docs
Diffstat (limited to 'docs/users_guide')
-rw-r--r-- | docs/users_guide/glasgow_exts.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 8b81139afa..2c3bea02f9 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -2007,9 +2007,9 @@ upd1 t x = t { f1=x } -- OK: upd1 :: T a -> b -> T b upd2 t x = t { f2=x } -- BAD (f2's type mentions b, which is existentially quantified) -data G a b where { G1 { f1::a, f2::c } :: G a [c] } -upd3 g x = g { f1=x } -- OK: upd3 :: G a b -> c -> G c b -upd4 g x = g { f2=x } -- BAD (f2's type mentions c, which is not a simple +data G a b where { G1 { g1::a, g2::c } :: G a [c] } +upd3 g x = g { g1=x } -- OK: upd3 :: G a b -> c -> G c b +upd4 g x = g { g2=x } -- BAD (f2's type mentions c, which is not a simple -- type-variable argument in G1's result type) </programlisting> </para> |