blob: 419e90442ce8333c9d7f7418f5a1ef414a548add (
plain)
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
|