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

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

diff --git a/a3/code/Generics/GenCompress.dcl b/a3/code/Generics/GenCompress.dcl
deleted file mode 100644 (file)
index b0d251b..0000000
--- a/a3/code/Generics/GenCompress.dcl
+++ /dev/null
@@ -1,19 +0,0 @@
-definition module GenCompress\r
-\r
-import StdGeneric, StdMaybe\r
-\r
-:: BitVector :== {#Int}\r
-\r
-:: CompressSt\r
-\r
-generic gCompress a :: !a -> *CompressSt -> *CompressSt\r
-derive gCompress Int, Real, Bool, Char, String, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, [], {}, {!}\r
-\r
-generic gCompressedSize a :: a -> Int\r
-derive gCompressedSize Int, Real, Bool, Char, String, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, [], {}, {!}\r
-\r
-generic gUncompress a :: (u:CompressSt -> ((Maybe a),u:CompressSt))\r
-derive gUncompress Int, Real, Bool, Char, String, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, [], {}, {!}\r
-\r
-compress :: !a -> BitVector | gCompressedSize{|*|} a & gCompress{|*|} a\r
-uncompress :: (BitVector -> Maybe a) | gUncompress{|*|} a\r