proper terminal rendering for true and false relations
commit68cd2549e3aa768fed92da6079ce194a818198c1
authorAgentM <agentm@themactionfaction.com>
dateSun 2 Nov 2014, 09:45 (12 years ago)
parent86998f1
RelationTerm.hs+4−2
@@ -92,8 +92,10 @@ repeatString :: Int -> String -> String
9292repeatString c s = concat (take c (repeat s))
9393
9494showRelation :: Relation -> String
95−showRelation = renderTable . relationAsTable
96−
95+showRelation rel
96+ | rel == relationTrue = "true"
97+ | rel == relationFalse = "false"
98+ | otherwise = renderTable (relationAsTable rel)
9799
98100
99101