From: Ian Lynagh Date: Tue, 28 Oct 2008 15:04:47 +0000 (+0000) Subject: Rename some variables in docs X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=5bd23e513eeff5beb852d60e2c9ff6314e24e87b Rename some variables in docs --- diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 8b81139..2c3bea0 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)