somme ex2 and ex3 text

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

diff --git a/a3/code/Generics/GenLexOrd.dcl b/a3/code/Generics/GenLexOrd.dcl
deleted file mode 100644 (file)
index bb11adf..0000000
--- a/a3/code/Generics/GenLexOrd.dcl
+++ /dev/null
@@ -1,16 +0,0 @@
-definition module GenLexOrd\r
-\r
-import StdGeneric, GenEq\r
-\r
-:: LexOrd = LT |EQ | GT\r
-derive gEq LexOrd\r
-\r
-generic gLexOrd a b :: a b -> LexOrd\r
-\r
-// base cases\r
-derive gLexOrd Char, Bool, Int, Real, String, UNIT, PAIR, EITHER, FIELD, CONS, OBJECT, [], {}, {!}\r
-\r
-// standard types\r
-derive gLexOrd (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
-\r
-(=?=) infix 4 :: a a -> LexOrd | gLexOrd{|*|} a\r