From 07d4332263895cabac09db76e21ad9c4071011a8 Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 9 Jun 2003 11:41:47 +0000 Subject: [PATCH] [project @ 2003-06-09 11:41:47 by simonmar] Add a TODO. --- ghc/compiler/basicTypes/Var.lhs | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) 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 -- 1.7.10.4