Fix printing of systems

diff --git a/CTT.hs b/CTT.hs
index 3269bc2705d3f69108f7db414ab1be9880b393bd..0a0ee1ffe9c80a041ec2cc7d9053942f7f526900 100644 (file)
--- a/CTT.hs
+++ b/CTT.hs
@@ -215,7 +215,7 @@ showTer v = case v of
   Undef _          -> text "undefined"
   IdP e0 e1 e2     -> text "IdP" <+> showTers [e0,e1,e2]
   Path i e         -> char '<' <> text (show i) <> char '>' <+> showTer e
-  AppFormula e phi -> showTer1 e <> char '@' <> text (show phi)
+  AppFormula e phi -> showTer1 e <+> char '@' <+> text (show phi)
   Comp e0 e1 es    -> text "comp" <+> showTers [e0,e1] <+> text (showSystem es)
   Trans e0 e1      -> text "transport" <+> showTers [e0,e1]
 

diff --git a/Connections.hs b/Connections.hs
index 9d6fea15f14627c40a970df53470c199a349a0bb..c36d5c5715833fb88f8d620a6e433e768b795c04 100644 (file)
--- a/Connections.hs
+++ b/Connections.hs
@@ -145,7 +145,7 @@ instance Show Formula where
   show (a :/\: b) = show1 a ++ " /\\ " ++ show1 b
     where show1 v@(a :\/: b) = "(" ++ show v ++ ")"
           show1 a = show a
-          
+
 arbFormula :: [Name] -> Int -> Gen Formula
 arbFormula names s =
       frequency [ (1, Dir <$> arbitrary)
@@ -335,7 +335,7 @@ type System a = Map Face a
 
 showSystem :: Show a => System a -> String
 showSystem ts =
-  "[ " ++ concat (intersperse ", " [ showFace alpha ++ " |-> " ++ show u
+  "[ " ++ concat (intersperse ", " [ showFace alpha ++ " -> " ++ show u
                                    | (alpha,u) <- Map.toList ts ]) ++ " ]"
 
 insertSystem :: Face -> a -> System a -> System a