edited the test file llnode t#36
This commit is contained in:
@ -2,7 +2,7 @@ type rec: [integer: x; integer: y]
|
||||
type T1: integer -> integer
|
||||
type T2: rec -> integer
|
||||
|
||||
type llnode: [address: prev; integer: val; address: next]
|
||||
type llnode: [llnode: prev; integer: val; llnode: next]
|
||||
type list: integer -> llnode
|
||||
|
||||
function foo : T1
|
||||
|
Reference in New Issue
Block a user