git.iko.soy/project-m36
on master help sign in
proper terminal rendering for true and false relations
68cd254AgentM
RelationTerm.hs+4−2
compare with master
unifiedsplit
@@ -92,8 +92,10 @@ repeatString :: Int -> String -> String
92repeatString c s = concat (take c (repeat s))
92repeatString c s = concat (take c (repeat s))
93
93
94showRelation :: Relation -> String
94showRelation :: Relation -> String
95+showRelation rel
96+ | rel == relationTrue = "true"
97+ | rel == relationFalse = "false"
95−showRelation = renderTable . relationAsTable
98+ | otherwise = renderTable (relationAsTable rel)
96−
97
99
98
100
99
101