diff options
Diffstat (limited to 'assignment-12/gastje.dcl')
| -rw-r--r-- | assignment-12/gastje.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/assignment-12/gastje.dcl b/assignment-12/gastje.dcl index a52618c..9fbf8fe 100644 --- a/assignment-12/gastje.dcl +++ b/assignment-12/gastje.dcl @@ -19,7 +19,7 @@ class testArg a | gen{|*|}, string{|*|}, gEq{|*|} a generic gen a :: [a] derive gen Int, Bool, Char, UNIT, PAIR, EITHER, CONS, OBJECT, RECORD, FIELD generic string a :: a -> String -derive string Int, Bool, Char, UNIT, PAIR, EITHER, CONS of gcd, OBJECT, RECORD of grd, FIELD of gfd +derive string Int, Bool, Char, Real, UNIT, PAIR, EITHER, CONS of gcd, OBJECT, RECORD of grd, FIELD of gfd :: Property = E.p t: (For) infix 0 (t -> p) [t] & prop p & string{|*|} t |