From: qrczak Date: Fri, 19 Oct 2001 22:16:28 +0000 (+0000) Subject: [project @ 2001-10-19 22:16:28 by qrczak] X-Git-Tag: Approximately_9120_patches~769 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=e65c60d9d12d3f63f7e35108c77fd45aaf384603;p=ghc-hetmet.git [project @ 2001-10-19 22:16:28 by qrczak] Typo. --- diff --git a/ghc/docs/comm/the-beast/vars.html b/ghc/docs/comm/the-beast/vars.html index 55d11ee..a3060bf 100644 --- a/ghc/docs/comm/the-beast/vars.html +++ b/ghc/docs/comm/the-beast/vars.html @@ -78,7 +78,7 @@ data VarDetails The TyVar case is self-explanatory. The MutTyVar case is used only during type checking. Then a -tupe variable can be unified, using an imperative update, with a type, +type variable can be unified, using an imperative update, with a type, and that is what the IORef is for. The Bool field records whether the type variable arose from a type signature, in which case it should not be unified with a type (only with another