Gen.dcl 498 Bytes
Newer Older
1
definition module Gast.Gen
Bas Lijnse's avatar
Bas Lijnse committed
2 3 4 5

/*
	GAST: A Generic Automatic Software Test-system
	
6
	Gast.Gen: generic generation of values of a type
Bas Lijnse's avatar
Bas Lijnse committed
7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24

	Pieter Koopman, 2004
	Radboud Universty, Nijmegen
	The Netherlands
	pieter@cs.ru.nl
*/

import StdGeneric

randomize :: [a] [Int] Int ([Int] -> [a]) -> [a]

generic ggen a :: Int [Int] -> [a]

derive ggen Int, Bool, Real, Char, UNIT, PAIR, EITHER, CONS, OBJECT, FIELD, (,), (,,), (,,,), [], String

maxint	:: Int
minint	:: Int
StrLen	:== 80