From: simonmar <unknown>
Date: Mon, 9 Jun 2003 11:41:47 +0000 (+0000)
Subject: [project @ 2003-06-09 11:41:47 by simonmar]
X-Git-Tag: Approx_11550_changesets_converted~792
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=07d4332263895cabac09db76e21ad9c4071011a8

[project @ 2003-06-09 11:41:47 by simonmar]
Add a TODO.
---

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