projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
faad3e2
)
Rename some variables in docs
author
Ian Lynagh
<igloo@earth.li>
Tue, 28 Oct 2008 15:04:47 +0000
(15:04 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Tue, 28 Oct 2008 15:04:47 +0000
(15:04 +0000)
docs/users_guide/glasgow_exts.xml
patch
|
blob
|
history
diff --git
a/docs/users_guide/glasgow_exts.xml
b/docs/users_guide/glasgow_exts.xml
index
8b81139
..
2c3bea0
100644
(file)
--- 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)
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>
-- type-variable argument in G1's result type)
</programlisting>
</para>