-
- Downloads
Enhancement to continuation-check-types: even when the proven type
represents an unknown number of values, if Cont's destination receives only a single value, generate a :hairy type check for the single-values-type of the asserted type.
Loading
Please register or sign in to comment