Merge branch 'master' of https://github.com/dopefishh/tt2015

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

diff --git a/a3/code/Generics/GenMap.dcl b/a3/code/Generics/GenMap.dcl
deleted file mode 100644 (file)
index e2b0e43..0000000
--- a/a3/code/Generics/GenMap.dcl
+++ /dev/null
@@ -1,8 +0,0 @@
-definition module GenMap\r
-\r
-import StdGeneric\r
-\r
-generic gMap a b :: .a -> .b\r
-derive gMap c, PAIR, EITHER, CONS, FIELD, OBJECT, {}, {!} \r
-\r
-derive gMap [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r