Commit 28c03539 authored by Camil Staps's avatar Camil Staps 🚀

Merge branch 'add-tuple-generic-print' into 'master'

add tuple instance for generic printing

See merge request !100
parents efda263e 89c6db56
Pipeline #9319 passed with stage
in 1 minute and 50 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