@@ -45,8 +45,15 @@ moduleToPs (Module moduleName ds (Just exts)) env = intercalate "\n" . execWrite
46 declToPs :: Declaration -> Writer [String] ()
46 declToPs :: Declaration -> Writer [String] ()
47 declToPs (ImportDeclaration mn _ _) = tell ["import " ++ show mn ++ " ()"]
47 declToPs (ImportDeclaration mn _ _) = tell ["import " ++ show mn ++ " ()"]
48− declToPs (FixityDeclaration (Fixity assoc prec) ident) =
48+ declToPs (FixityDeclaration (Fixity assoc prec) op) =
49+ case find exportsOp exts of
49− tell [ unwords [ show assoc, show prec, ident ] ]
51+ Just _ -> tell [ unwords [ show assoc, show prec, op ] ]
53+ exportsOp :: DeclarationRef -> Bool
54+ exportsOp (PositionedDeclarationRef _ _ r) = exportsOp r
55+ exportsOp (ValueRef ident') = ident' == Op op
50 declToPs (PositionedDeclaration _ com d) = mapM commentToPs com >> declToPs d
57 declToPs (PositionedDeclaration _ com d) = mapM commentToPs com >> declToPs d
51 declToPs _ = return ()
58 declToPs _ = return ()