somme ex2 and ex3 text

[tt2015.git] / a3 / code / Generics / GenZip.dcl

diff --git a/a3/code/Generics/GenZip.dcl b/a3/code/Generics/GenZip.dcl
deleted file mode 100644 (file)
index 9170a69..0000000
--- a/a3/code/Generics/GenZip.dcl
+++ /dev/null
@@ -1,11 +0,0 @@
-definition module GenZip\r
-\r
-import StdMaybe, StdGeneric\r
-\r
-generic gZip a b c :: .a .b -> .c\r
-derive gZip Int, Bool, Char, Real, String, UNIT, EITHER, PAIR, CONS, FIELD, OBJECT\r
-derive gZip [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
-\r
-generic gMaybeZip a b c :: .a .b -> Maybe .c\r
-derive gMaybeZip Int, Char, Bool, Real, String, UNIT, EITHER, PAIR, CONS, FIELD, OBJECT\r
-derive gMaybeZip [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r