Re: Core Overlay upgrade - Type definitions
| Newsgroups | gmane.comp.lang.ocaml.beginners |
|---|---|
| Message-ID | <[email protected]> |
I managed to get it to work by not opening core.std, but instead specifying list from core fully, which is exactly what I did want, to overshadow the existing list type. In any case, the basis for the type parameters is gone now, I understand the code was co-recursive and therefore corrected it.