[Bug fix on SemanticB18n
Kazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>**20100914112535
 Ignore-this: 925d530d7c8c2c2ecee26ac83090a5e9
] hunk ./SemSyn.hs 110
-                   in map (\(Decl f t _ _:_) -> f) $ groupBy isSameFunc decls) ++
-             [ ppr $ generateCodeDet p1 ]             
+                   in map (\(Decl f t _ _:_) -> (f,t)) $ groupBy isSameFunc decls) ++
+             [ ppr $ generateCodeDet orig ]             
hunk ./SemSyn.hs 150
-      genBwdDefBff (Name fName) =
-          ppr (Name fName) <> text "_B" $$
-              nest 4 (text "= bff Main." <> ppr (Name fName)) $$
-          ppr (Name fName) <> text "_B_Eq" $$
-              nest 4 (text "= bff_Eq Main." <> ppr (Name fName)) $$
-          ppr (Name fName) <> text "_B_Ord" $$
-              nest 4 (text "= bff_Ord Main." <> ppr (Name fName))  
+      genBwdDefBff (Name fName,(TFun is ts t)) =
+          case (ts,t) of 
+            ([TCon (Name "List") [TVar i]],TCon (Name "List") [TVar j]) | i == j  ->
+                ppr (Name fName) <> text "_B" $$
+                    nest 4 (text "= bff Main." <> ppr (Name fName)) 
+            _ ->
+                empty 
+--           ppr (Name fName) <> text "_B_Eq" $$
+--               nest 4 (text "= bff_Eq Main." <> ppr (Name fName)) $$
+--           ppr (Name fName) <> text "_B_Ord" $$
+--               nest 4 (text "= bff_Ord Main." <> ppr (Name fName))