a guest Feb 16th, 2019 69 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
- (* compile with -rectypes *)
- type 'a foo = 'a foo list (* accepted *)
- module M (X : sig type 'a list end) = struct
- type 'a foo = 'a foo X.list (* accepted by ocaml 3.11.2; rejected by ocaml 4.00.1 *)
RAW Paste Data