Fix printing of tc-any-results in type errors.
In the long run, these error messages should get simplified so that this printing is not necessary. Closes PR 13577 and PR 13526 original commit: e53b0858c32b845482d8d9b5f5559df6f143cff7
This commit is contained in:
parent
e484bddc23
commit
bf3afb8383
|
@ -75,6 +75,7 @@
|
|||
(match t
|
||||
[(tc-result1: t) t]
|
||||
[(tc-results: ts) (-values ts)]
|
||||
[(tc-any-results:) ManyUniv]
|
||||
[_ t]))
|
||||
|
||||
(define (stringify-domain dom rst drst [rng #f])
|
||||
|
|
Loading…
Reference in New Issue
Block a user