Repository navigation
A bug about casting to supertype #72
Description
This program cannot be compiled with the latest compiler in the master branch.
(: (tuple 42 #f) (Tuple Int))
Reacted by Deyaa
{{ message }}
This program cannot be compiled with the latest compiler in the master branch.
(: (tuple 42 #f) (Tuple Int))
Activity
akuhlens commentedon Mar 1, 2019
Here is another program that we should make sure that the type-checker and runtime rejects.
Here the contents of the vector have to be invariant with respect to the subtyping relationship.