somme ex2 and ex3 text

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

diff --git a/a3/code/Generics/GenDefault.dcl b/a3/code/Generics/GenDefault.dcl
deleted file mode 100644 (file)
index fe11fcb..0000000
--- a/a3/code/Generics/GenDefault.dcl
+++ /dev/null
@@ -1,10 +0,0 @@
-definition module GenDefault\r
-\r
-import StdGeneric\r
-\r
-generic gDefault a ::  a \r
-\r
-derive gDefault Int, Real, String, PAIR, EITHER, CONS, FIELD, OBJECT \r
-\r
-derive gDefault [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
-\r