-
Kim Nguyễn authored
- fix the scoping of (fun ('a -> 'a -> 'a) x -> (fun ('a -> 'a) y -> ...)) so that the second interface uses the same 'a as the first - prevent global declration of polymorphic values that are not functions (unsound in the absence of value restriction because of side effects). - add more complex test cases for polymorphic types and functions.
fb36149d