Modify transitivity test.
This commit is contained in:
parent
2b5e84c4af
commit
595b1c8295
|
@ -1,4 +1,5 @@
|
|||
let _ =
|
||||
for 'a 'b 'c in
|
||||
(fun y -> fun z -> use z in use y in fun x -> x
|
||||
: eq 'a 'b -> eq 'b 'c -> 'a -> 'c)
|
||||
fun y -> fun z ->
|
||||
use (y : eq 'a 'b) in use (z : eq 'b 'c) in
|
||||
(fun x -> x : 'a -> 'c)
|
Loading…
Reference in New Issue