Hello, If I define a function taking a heterogeneous list (List A ... A) and try to coerce the argument to a pair with (assert lst pair?) or an unless guard, the program typechecks, but the assertion fails even when I pass a non-empty list. However, print debugging shows that both (pair? lst) and (…

Stepping through the macros that TR uses here, we get to this strange expansion: (define-values:102 (ttest-hetero) (lambda:103 (lst) (#%app:105 display (#%app:106 format (quote "pair? ~a; list? ~a~%") (#%app:107 pair? lst) (#%app:108 list? lst))) (if (begin (#%app:109 pair? lst)…

Predicate Inconsistency in with List, Listof in Polymorphic Functions

Questions & Answers

wolfraam September 28, 2024, 11:50pm 4

#1396. I looked through the issues and it looks similar to #412.

Topic		Replies	Views
Get to type (apply in-parallel lst) Questions & Answers typed-racket	5	380	February 18, 2022
No static type checking of 'in-list' form used in 'for'? Questions & Answers	2	256	December 22, 2022
Can't wrap my head around how to use Polymorphic functions in Typed Racket Questions & Answers typed-racket	7	821	April 4, 2022
Typed Racket: map list items while remembering individual types? Questions & Answers question , typed-racket	3	260	February 15, 2023
Mutable mpair vs immutable pair, how to port code Questions & Answers	4	76	August 31, 2024

Predicate Inconsistency in with List, Listof in Polymorphic Functions

Related topics