Commit 7ee712fa authored by Steffen Michels's avatar Steffen Michels

fix gPrint for ()

parent 781fbb7f
Pipeline #26789 passed with stage
in 3 minutes and 23 seconds
......@@ -263,8 +263,8 @@ gPrint{|OBJECT of {gtd_num_conses,gtd_conses}|} f (OBJECT x) st=:{ps_context}
| needParenthesis CtxNonfix ps_context
= printChar '(' $ printString cnsstr $ f x $ printChar ')' @ st
= printString cnsstr $ f x @ st
= f x st
= f x st
gPrint{|()|} _ st = printChar ')' (printChar '(' st)
gPrint{|[]|} f xs st
= printChar '['
$ printList f xs
......@@ -281,7 +281,7 @@ gPrint{|{!}|} f xs st
$ printList f [ x \\ x <-: xs]
$ printChar '}'
@ st
derive gPrint (), (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
derive gPrint (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
//derive gOutput (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
......
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