[include sibling information in TyEnv
John Meacham <john@repetae.net>**20070227142534] hunk ./Grin/FromE.hs 222
-    --sequence_ [ typecheck te c >>= when False . print . (,) a  | (a,_,c) <-  ds ]
-    -- let (main,as,rtype) = runIdentity $ Map.lookup (tvrIdent mt) scMap
-        -- main' =  if not $ null as then  (Return $ NodeC (partialTag main (length as)) []) else App main [] rtype
-        -- tags = Set.toList $ ep $ Set.unions (freeVars (main',initCafs):[ freeVars e | (_,(_ :-> e)) <- ds ])
-    let -- ep s = Set.fromList $ concatMap partialLadder $ Set.toList s
-        -- cafs = [ ((V $ - atomIndex tag),NodeC tag []) | (x,(Tup [] :-> _)) <- ds, let tag = partialTag x 0 ] ++ [ (y,z') |(x,y,z) <- cc, y `elem` reqcc, let Const z' = z ]
-        cafs = [ (x,y) | (_,x,y) <- rcafs ]
+    let cafs = [ (x,y) | (_,x,y) <- rcafs ]
hunk ./Grin/FromE.hs 236
-    --typecheckGrin grin
hunk ./Grin/FromE.hs 241
-    con c | keepIt = return $ (n,toTyTy (as,TyNode)) where
+    con c | keepIt = return $ (n,TyTy { tySlots = as, tyReturn = TyNode, tySiblings = fmap (map convertName) sibs}) where
hunk ./Grin/FromE.hs 246
+        sibs = getSiblings dataTable (conName c)