Now whether unchecked conversion is allowed is controlled by ConvertsContext.Options of convertsTo relation. Introduce 'erased()' term to be used in raw type params. Drop 'uncheckedConversion' parameter in all macros. Classifier kind:"raw" is now used only for Recover. Allow unchecked conversions by default. Forbid for sequences. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||