1 implementation module GenDefault
3 //import StdClass, StdArray, StdInt, StdFunc
6 generic gDefault a :: a
9 gDefault{|String|} = ""
10 gDefault{|UNIT|} = UNIT
11 gDefault{|EITHER|} dl dr = RIGHT dr
12 gDefault{|EITHER|} dl dr = LEFT dl
13 gDefault{|PAIR|} dl dr = PAIR dl dr
14 gDefault{|CONS|} dc = CONS dc
15 gDefault{|FIELD|} df = FIELD df
16 gDefault{|OBJECT|} do = OBJECT do
18 derive gDefault [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)