[get rid of hoProps field in data Ho
John Meacham <john@repetae.net>**20070829022038] hunk ./FrontEnd/Tc/Module.hs 32
-import Info.Properties
+import Info.Types
hunk ./FrontEnd/Tc/Module.hs 58
+    tiProps          :: Map.Map Name Properties,
hunk ./FrontEnd/Tc/Module.hs 247
-    let pragmaProps = fromList $ Map.toList $ Map.fromListWith mappend [ (toId $ toName Name.Val x,fromList $ readProp w) |  HsPragmaProps _ w xs <- ds, x <- xs ]
+    let pragmaProps = fromList $ Map.toList $ Map.fromListWith mappend [ (toName Name.Val x,fromList $ readProp w) |  HsPragmaProps _ w xs <- ds, x <- xs ]
hunk ./FrontEnd/Tc/Module.hs 261
-            hoTypeSynonyms = restrictTypeSynonyms (`member` allExports) thisTypeSynonyms,
-            hoProps = pragmaProps
+            hoTypeSynonyms = restrictTypeSynonyms (`member` allExports) thisTypeSynonyms
hunk ./FrontEnd/Tc/Module.hs 269
+            tiProps        = pragmaProps,
hunk ./Ho/Binary.hs 31
-    put (Ho ac ad ae af ag ah ai aj ak al am) = do
+    put (Ho ac ad ae af ag ah ai ak al am) = do
hunk ./Ho/Binary.hs 39
-	    put aj
hunk ./Ho/Binary.hs 50
-    aj <- get
hunk ./Ho/Binary.hs 53
-    return (Ho ac ad ae af ag ah ai aj ak al am)
+    return (Ho ac ad ae af ag ah ai ak al am)
hunk ./Ho/Build.hs 495
-    putStrLn $ "hoProps:" <+> tshow (size $  hoProps ho)
hunk ./Ho/Type.hs 71
-    hoProps :: IdMap Properties,
hunk ./Ho/Type.hs 78
-    mempty = Ho mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty
+    mempty = Ho mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty
hunk ./Ho/Type.hs 87
-        hoProps = munionWith mappend (hoProps a) (hoProps b),
hunk ./Main.hs 165
-    let ho' = reprocessHo (hoRules ho) (hoProps ho) ho
+    let ho' = reprocessHo (hoRules ho) mempty ho
hunk ./Main.hs 173
-        accumho' = reprocessCho rules' (hoProps ho) accumho
+        accumho' = reprocessCho rules' mempty accumho
hunk ./Main.hs 235
-    ds' <- convertDecls tiData (hoProps allHo) (hoClassHierarchy ho') allAssumps  fullDataTable decls
+        theProps = fromList [ (toId x,y) | (x,y) <- Map.toList $ tiProps tiData]
+    ds' <- convertDecls tiData theProps (hoClassHierarchy ho') allAssumps  fullDataTable decls
hunk ./Main.hs 264
-    let allProps = munionWith mappend (hoProps ho')  (idSetToIdMap (const (singleton prop_HASRULE)) (ruleHeadFreeVars allRules))
+    let allProps = munionWith mappend theProps (idSetToIdMap (const (singleton prop_HASRULE)) (ruleHeadFreeVars allRules))