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

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

diff --git a/a3/code/Generics/GenReduce.dcl b/a3/code/Generics/GenReduce.dcl
deleted file mode 100644 (file)
index d968d2c..0000000
--- a/a3/code/Generics/GenReduce.dcl
+++ /dev/null
@@ -1,17 +0,0 @@
-definition module GenReduce\r
-\r
-import StdGeneric\r
-\r
-generic gReduce t :: (a a -> a) a  t -> a\r
-derive gReduce c, PAIR, EITHER, CONS, FIELD, OBJECT\r
-derive gReduce [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
-\r
-generic gReduceRSt t :: .t .st -> .st\r
-derive gReduceRSt c, PAIR, EITHER, CONS, FIELD, OBJECT\r
-derive gReduceRSt [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
-\r
-generic gReduceLSt t :: .t .st -> .st\r
-derive gReduceLSt c, PAIR, EITHER, CONS, FIELD, OBJECT\r
-derive gReduceLSt [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
-\r
- 
\ No newline at end of file