Qualify view function in generated code
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 10 Sep 2010 15:38:50 +0000 (15:38 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 10 Sep 2010 15:38:50 +0000 (15:38 +0000)
SemSyn.hs

index 34b47ee..3e5d6a8 100644 (file)
--- a/SemSyn.hs
+++ b/SemSyn.hs
@@ -142,11 +142,11 @@ outputCode conf_ isShapify orig ast =
       typeFilterT = if isShowType conf then id else eraseTypeT
       genBwdDefBff (Name fName) =
           ppr (Name fName) <> text "_B" $$
-              nest 4 (text "= bff " <> ppr (Name fName)) $$
+              nest 4 (text "= bff Main." <> ppr (Name fName)) $$
           ppr (Name fName) <> text "_B_Eq" $$
-              nest 4 (text "= bff_Eq " <> ppr (Name fName)) $$
+              nest 4 (text "= bff_Eq Main." <> ppr (Name fName)) $$
           ppr (Name fName) <> text "_B_Ord" $$
-              nest 4 (text "= bff_Ord " <> ppr (Name fName))  
+              nest 4 (text "= bff_Ord Main." <> ppr (Name fName))  
       genBwdDef (Name fName,(TFun is ts t)) =
           case (ts,t) of 
             ([TCon (Name "List") [TVar i]],TCon (Name "List") [TVar j]) | i == j  ->