rectypes
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Which kind of recursive types are allowed? | 11 | 660 | September 4, 2023 | |
An error `type int x should be 'a x` in presense of `-rectypes` | 0 | 582 | February 13, 2019 |
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Which kind of recursive types are allowed? | 11 | 660 | September 4, 2023 | |
An error `type int x should be 'a x` in presense of `-rectypes` | 0 | 582 | February 13, 2019 |