Commit bb5f0f5a authored by Camil Staps's avatar Camil Staps 🐧

Clean.PrettyPrint: TArrow1

parent 4e456bee
......@@ -98,8 +98,8 @@ where
= print st ("(" :+: at1 :+: " -> " :+: at2 :+: ")")
print st TArrow
= "(->)"
//print st (TArrow1 at)
// = print st ("((->) " :+: at :+: ")")
print st (TArrow1 at)
= print st ("((->) " :+: at :+: ")")
print st (cv :@: ats)
= print st ("(" :+: cv :+: " " :+: join st " " ats :+: ")")
print st (TB bt)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment