GeneratorTest.hs


1
2
3
4
5
6
7
8
9
10

import Library.Parse
import Library.Generator
import Library.Term
import Library.TypeVar


main = do
	let s = substitutionGen ([],[])
	let t = substitutionGen ( [(Name [] "tyvar", AType [] (TypeOp (Name [] "atype")))], [] )
	output t