![]() - parsing of polydots values was fixed
- certain polydots error cases are now reported
- the custom application rule for values was fixed
Closes PR 13365
Please merge to 5.3.2
(cherry picked from commit
|
||
---|---|---|
.. | ||
parse-classes.rkt | ||
parse-type.rkt | ||
type-annotation.rkt | ||
type-contract.rkt | ||
with-types.rkt |