On 2/14/20, 'John Clements' via users-redirect wrote:
> I think I may understand what’s going on here, but a student and I worked on
> this for quite a while today before I found the problem.
>
>
>
> In this case, one easy error is to change the ‘cast’ into an ‘ann’, which
> works fine.
You
Your second suggestion is described in this (hard to find) section of
the TR Guide on Type Generalization:
https://docs.racket-lang.org/ts-guide/caveats.html#%28part._.Type_generalization%29
I agree it should be much more prominent. At the very least, any docs
for invariant constructors should
2 matches
Mail list logo
