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
Can't wrap my head around how to use Polymorphic functions in Typed Racket Questions & Answers typed-racket	7	760	April 4, 2022
Check-eq? not behaving properly in Typed Racket Questions & Answers	3	152	September 20, 2023
[Feature Request] Tag Contract and Tag Type Questions & Answers design	2	476	December 28, 2021
Pattern matching in TypedRacket that uses types to rule out impossible branches? Questions & Answers question , typed-racket	5	461	February 28, 2023
Get to type (apply in-parallel lst) Questions & Answers typed-racket	5	368	February 18, 2022

Predicate Inconsistency in with List, Listof in Polymorphic Functions

Related topics