[make slotTypes work properly for tuple constructors
John Meacham <john@repetae.net>**20060211035010] hunk ./DataConstructors.hs 393
-slotTypes wdt@(DataTable dt) n (ELit (LitCons pn xs _))
+slotTypes wdt n (ELit (LitCons pn xs _))
hunk ./DataConstructors.hs 397
-    Just pc = Map.lookup (conInhabits mc) dt
+    Identity pc = getConstructor (conInhabits mc) wdt
hunk ./DataConstructors.hs 420
-getSiblings (DataTable mp) n
-    | Just c <- Map.lookup n mp, Just s <- Map.lookup (conInhabits c) mp = conChildren s
+getSiblings dt n
+    | Just c <- getConstructor n dt, Just s <- getConstructor (conInhabits c) dt = conChildren s
hunk ./Main.hs 176
-    --let dataTable = toDataTable (Map.fromList $[ (toName TypeConstructor x,y) | (x,y)<- Map.toList (hoKinds ho')] ) (tiAllAssumptions tiData) decls
hunk ./Main.hs 193
-    printRules rules
hunk ./Main.hs 288
-    -- preparing for optimization
-    -- let imap = annotateMethods (hoClassHierarchy allHo) allRules (hoProps allHo)
hunk ./Main.hs 300
-
-    --let ds' = reachable (newGraph ds (\ (_,b,_) -> tvrIdent b) (\ (_,b,c) -> bindingFreeVars b c)) [ tvrIdent b | (n,b,_) <- ds, getProperty prop_EXPORTED b]
-    --wdump FD.OptimizationStats $ Stats.print "Optimization" stats