somme ex2 and ex3 text

[tt2015.git] / a3 / code / Gast / gen.dcl

diff --git a/a3/code/Gast/gen.dcl b/a3/code/Gast/gen.dcl
deleted file mode 100644 (file)
index 7261e96..0000000
--- a/a3/code/Gast/gen.dcl
+++ /dev/null
@@ -1,24 +0,0 @@
-definition module gen\r
-\r
-/*\r
-       GAST: A Generic Automatic Software Test-system\r
-       \r
-       gen: generic generation of values of a type\r
-\r
-       Pieter Koopman, 2004\r
-       Radboud Universty, Nijmegen\r
-       The Netherlands\r
-       pieter@cs.ru.nl\r
-*/\r
-\r
-import StdGeneric\r
-\r
-randomize :: [a] [Int] Int ([Int] -> [a]) -> [a]\r
-\r
-generic ggen a :: Int [Int] -> [a]\r
-\r
-derive ggen Int, Bool, Real, Char, UNIT, PAIR, EITHER, CONS, OBJECT, FIELD, (,), (,,), (,,,), [], String\r
-\r
-maxint :: Int\r
-minint :: Int\r
-StrLen :== 80\r