Explicitly pass the parameters to put in -sem
authorKazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>
Wed, 15 Sep 2010 13:28:51 +0000 (13:28 +0000)
committerKazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>
Wed, 15 Sep 2010 13:28:51 +0000 (13:28 +0000)
SemSyn.hs

index 741f697..df353c7 100644 (file)
--- a/SemSyn.hs
+++ b/SemSyn.hs
@@ -150,8 +150,8 @@ outputCode conf_ isShapify orig ast =
       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)) 
+                ppr (Name fName) <> text "_B s v" $$
+                    nest 4 (text "= bff Main." <> ppr (Name fName) <+> text "s v"
             _ ->
                 empty 
 --           ppr (Name fName) <> text "_B_Eq" $$