[project @ 1999-08-24 08:47:13 by simonpj]

When recompiling with GHC 4.02 and Keith's new type representations,
it seems that I need UVar to be in Var.hi-boot.  I don't think this
will be the case with the better handling of SOURCE import in
4.04, but for now I'm just going ahead and adding the UVar synonym
to the Var.hi-boot files.

diff --git a/ghc/compiler/basicTypes/Var.hi-boot b/ghc/compiler/basicTypes/Var.hi-boot
index 2c4bf10..cc6684b 100644 (file)
--- a/ghc/compiler/basicTypes/Var.hi-boot
+++ b/ghc/compiler/basicTypes/Var.hi-boot
@@ -1,9 +1,11 @@
 _interface_ Var 1
 _exports_
-Var Var Id setIdName ;
+Var Var TyVar Id setIdName ;
 _declarations_
 
 -- Used by Name
 1 type Id = Var ;
+1 type TyVar = Var ;
+1 type UVar = Var ;
 1 data Var ;
 1 setIdName _:_ Id -> Name.Name -> Id ;;

diff --git a/ghc/compiler/basicTypes/Var.hi-boot-5 b/ghc/compiler/basicTypes/Var.hi-boot-5
index f337d47..65ba3fa 100644 (file)
--- a/ghc/compiler/basicTypes/Var.hi-boot-5
+++ b/ghc/compiler/basicTypes/Var.hi-boot-5
@@ -1,7 +1,9 @@
 __interface Var 1 0 where
-__export Var Var Id setIdName ;
+__export Var Var TyVar Id setIdName ;
 -- Used by Name
 1 type Id = Var;
+1 type TyVar = Var;
+1 type UVar = Var;
 1 data Var ;
 1 setIdName :: Id -> Name.Name -> Id ;