[clean up Grin.FromE, get rid of some historical oddness.
John Meacham <john@repetae.net>**20070313020603] hunk ./Grin/FromE.hs 76
-unboxedMap :: [(Name,Maybe Ty)]
+unboxedMap :: [(Name,Ty)]
hunk ./Grin/FromE.hs 78
-    (tc_World__,Nothing),
-    (tc_Ref__,Just $ TyPtr (TyPtr TyNode)),
-    (tc_Array__,Just $ TyPtr (TyPtr TyNode)),
-    (tc_MutArray__,Just $ TyPtr (TyPtr TyNode))
+    (tc_World__,tyUnit),
+    (tc_Ref__,TyPtr (TyPtr TyNode)),
+    (tc_Array__,TyPtr (TyPtr TyNode)),
+    (tc_MutArray__,TyPtr (TyPtr TyNode))
hunk ./Grin/FromE.hs 121
-partialLadder t
-    | Just (n,frs) <- tagUnfunction t = [ partialTag frs x | x <- [1 .. n]]
-    | otherwise = [t]
hunk ./Grin/FromE.hs 127
-scTag n = t where (t,_,_) = toEntry (n,undefined,undefined)
+scTag n
+    | Just nm <- fromId (tvrIdent n) = toAtom ('f':show nm)
+    | otherwise = toAtom ('f':show (tvrIdent n))
+cafNum n = V $ - atomIndex (partialTag (scTag n) 0)
hunk ./Grin/FromE.hs 132
-cafNum n = V $ - atomIndex (partialTag t 0)
-    where
-    (t,_,_) = toEntry (n,undefined,undefined)
-
-
-toEntry (n,as,e)
-    | Just nm <- fromId (tvrIdent n)  = f (toAtom ('f':show nm))
-    | otherwise = f (toAtom ('f':show (tvrIdent n))) where
+toEntry (n,as,e) = f (scTag n) where
hunk ./Grin/FromE.hs 140
-        Just Nothing -> TyTup []
-        Just (Just x) -> x
+        Just x -> x
hunk ./Grin/FromE.hs 262
-    (funcApply, ([TyNode, TyPtr TyNode],TyNode)),