X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc%2Fcompiler%2FbasicTypes%2FVar.lhs;h=66876c6415deb6c03dd4c782953e7b6eb34d0625;hp=d303372c7c6bf4bac3792067a8f2a7001f08879f;hb=07d4332263895cabac09db76e21ad9c4071011a8;hpb=ceaf8381097ee7587ea60006ed2ee3015a6ee50c

diff --git a/ghc/compiler/basicTypes/Var.lhs b/ghc/compiler/basicTypes/Var.lhs
index d303372..66876c6 100644
--- a/ghc/compiler/basicTypes/Var.lhs
+++ b/ghc/compiler/basicTypes/Var.lhs
@@ -85,11 +85,14 @@ data VarDetails
   | TyVar
   | MutTyVar (IORef (Maybe Type)) 	-- Used during unification;
 	     TyVarDetails
-
-	-- For a long time I tried to keep mutable Vars statically type-distinct
-	-- from immutable Vars, but I've finally given up.   It's just too painful.
-	-- After type checking there are no MutTyVars left, but there's no static check
-	-- of that fact.
+	-- TODO: the IORef should be unboxed here, but we don't want to unbox
+  	-- the Name above.
+
+	-- For a long time I tried to keep mutable Vars statically
+	-- type-distinct from immutable Vars, but I've finally given
+	-- up.  It's just too painful.  After type checking there are
+	-- no MutTyVars left, but there's no static check of that
+	-- fact.
 
 data LocalIdDetails 
   = NotExported	-- Not exported