[fix lint type checking to know about INodes.
John Meacham <john@repetae.net>**20090701045125
 Ignore-this: 7288c0aae11234113b42af5793016cc5
] hunk ./Grin/Grin.hs 151
---data VContext = Demoted Val VContext  | Promoted Val VContext | Evaled Val VContext |
+{-
+data PrimApp = Demote | Promote | Eval
+
+data VCont = VCont Val VContext
+
+data VContext = PrimApp PrimApp VCont | Decons Tag Int VCont | ContUnknown
+-}
hunk ./Grin/Lint.hs 281
-        return [TyPtr t]
+        return (getType (Store v))
hunk ./Grin/Lint.hs 287
-        (TyPtr t) <- tcVal v
-        return [t]
+        v' <- tcVal v
+        case v' of
+            (TyPtr t) -> return [t]
+            TyINode -> return [TyNode]
hunk ./Grin/Lint.hs 319
-        return (TyPtr v)
+        case v of
+            TyNode -> return TyINode
+            v -> return (TyPtr v)