Commit 89c6db56 authored by Mart Lubbers's avatar Mart Lubbers

add tuple instance for generic printing

parent efda263e
Pipeline #9140 passed with stage
in 1 minute and 35 seconds
......@@ -22,5 +22,5 @@ instance PrintOutput File
generic gPrint a :: a (PrintState *s) -> (PrintState *s) | PrintOutput s
derive gPrint Int, Real, Char, Bool, String, UNIT, PAIR, EITHER, RECORD of d, FIELD of d, CONS of d, OBJECT, [], {!}, {}
derive gPrint Int, Real, Char, Bool, String, UNIT, PAIR, EITHER, RECORD of d, FIELD of d, CONS of d, OBJECT, [], {!}, {}, (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
//derive bimap PrintState
......@@ -275,6 +275,7 @@ gPrint{|{!}|} f xs st
$ printList f [ x \\ x <-: xs]
$ printChar '}'
@ st
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