Created
January 20, 2026 09:38
-
-
Save qexat/425154ff3849707bf8feb158d6fb38b6 to your computer and use it in GitHub Desktop.
they differ by their runtime size :0
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* boilerplate *) | |
| module type T = sig | |
| type t | |
| end | |
| module type INT = module type of Int | |
| (* the goofy type *) | |
| type 'a t = What of < value : 'a; ty : 'c > constraint 'c = (module T with type t = 'a) | |
| (* the ill-typed term *) | |
| let _ = What (object method value = 3 method ty = (module Int : INT) end) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment