# How to find insertions of any-wrap/c in TR code? **URL:** \ **Category:** Internals\ **Tags:** release\ **Created:** [May 16, 2024, 11:21pm UTC](https://racket.discourse.group/t/how-to-find-insertions-of-any-wrap-c-in-tr-code/2921 "2024-05-16T23:21:11Z")\ **Posts on this page:** 9\ **Page:** 1
**Author:** ![jbclements](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/jbclements/32/11_2.png) [@jbclements](https://racket.discourse.group/u/jbclements)\ **Post date:** [May 16, 2024, 11:21pm UTC](https://racket.discourse.group/t/how-to-find-insertions-of-any-wrap-c-in-tr-code/2921/1 "2024-05-16T23:21:11Z")
I'm helping a student that's using Racket in a compilers class, and they're running into an error where any-wrap/c is being applied to a cyclic value. The student is definitely intending to create a cyclic structure, so the question becomes: which part of the TR code is adding an any-wrap/c contract? My general understanding is that this wrapper will be applied when a value is passed to untyped racket code... but now I have to figure out which part of this code might be doing this. (The red error highlighting is somewhat unhelpful, here; an entire define is highlighted in red, and the red-arrow-chaining chains down not through application sites but instead through top-level-defines.) Oh... Okay, I think I found the problem; I believe there's a use of `cast` that's causing the problem. This piece of test code reproduces what I believe to be the problem. I'm not saying this is a bug, but I am asking whether there's a good way to help students identify the problem (aside from the ever-useful DON'T USE CAST). And also... maybe this _is_ a bug? ```scheme #lang typed/racket (require typed/rackunit) (struct foo ([a : Any]) #:transparent #:mutable) ;; create a cyclic 'foo' structure (define (make-cyclic-structure) (define my-foo (foo 13)) (set-foo-a! my-foo my-foo) my-foo) ;; pass a foo as an Any, then cast it and extract the field: (define (take-any [x : Any]) : Any (define its-a-foo (cast x foo)) (foo-a its-a-foo)) (take-any (make-cyclic-structure)) ``` ---
**Author:** ![shawnw](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/shawnw/32/1031_2.png) [@shawnw](https://racket.discourse.group/u/shawnw)\ **Post date:** [May 16, 2024, 11:37pm UTC](https://racket.discourse.group/t/how-to-find-insertions-of-any-wrap-c-in-tr-code/2921/2 "2024-05-16T23:37:24Z")
Yeah, if you change the `(cast x foo)` to `(assert x foo?)` instead it works. So does using `#lang typed/racket/shallow` instead of changing the `cast`. ---
**Author:** ![jbclements](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/jbclements/32/11_2.png) [@jbclements](https://racket.discourse.group/u/jbclements)\ **Post date:** [May 16, 2024, 11:58pm UTC](https://racket.discourse.group/t/how-to-find-insertions-of-any-wrap-c-in-tr-code/2921/3 "2024-05-16T23:58:54Z")
Well, I'm interested in typed/racket/shallow... but the real problem here is _finding_ the problem in the first case. It's not clear to me how a student would get from the error message to any inkling that the problem involved a cast. Indeed, it could easily have happened without a cast, e.g. with a use of `check-equal?`. Maybe the right answer here is just a stack overflow post. I do see that in general, though, students should be using `assert` whenever it's possible. ---
**Author:** ![shawnw](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/shawnw/32/1031_2.png) [@shawnw](https://racket.discourse.group/u/shawnw)\ **Post date:** [May 17, 2024, 12:14am UTC](https://racket.discourse.group/t/how-to-find-insertions-of-any-wrap-c-in-tr-code/2921/4 "2024-05-17T00:14:07Z")
This PR seems to be responsible: [any-wrap: avoid looping on cyclic values by bennn · Pull Request #824 · racket/typed-racket · GitHub](https://github.com/racket/typed-racket/pull/824) I don't think it's documented anywhere in the TR Reference that Any can't actually hold any value. Really should be. That would help people find the underlying issue. ---
**Author:** ![jbclements](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/jbclements/32/11_2.png) [@jbclements](https://racket.discourse.group/u/jbclements)\ **Post date:** [May 17, 2024, 1:08am UTC](https://racket.discourse.group/t/how-to-find-insertions-of-any-wrap-c-in-tr-code/2921/5 "2024-05-17T01:08:51Z")
Many thanks for the pointer to Ben Greenman's PR. I think I would take issue with the statement that "Any can't actually hold any value", I think Any _can_ hold any value. Safely allowing a value of type `Any` to be unwrapped, though, is currently not possible for all values. I suppose I can see your perspective. ---
**Author:** ![ben\_greenman](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/ben_greenman/32/632_2.png) [@ben\_greenman](https://racket.discourse.group/u/ben_greenman)\ **Post date:** [May 17, 2024, 1:27am UTC](https://racket.discourse.group/t/how-to-find-insertions-of-any-wrap-c-in-tr-code/2921/6 "2024-05-17T01:27:55Z")
is the neg-party part of the error message any help? ---
**Author:** ![samth](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/samth/32/3_2.png) [@samth](https://racket.discourse.group/u/samth)\ **Post date:** [May 17, 2024, 7:24pm UTC](https://racket.discourse.group/t/how-to-find-insertions-of-any-wrap-c-in-tr-code/2921/7 "2024-05-17T19:24:58Z")
The `Any` type can hold any value. However, you cannot pass values of type `Any` to arbitrary untyped programs (because Typed Racket) doesn't know how to protect them. My advice would be (1) don't use `cast` (2) don't use `Any`. ---
**Author:** ![jbclements](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/jbclements/32/11_2.png) [@jbclements](https://racket.discourse.group/u/jbclements)\ **Post date:** [May 18, 2024, 8:57pm UTC](https://racket.discourse.group/t/how-to-find-insertions-of-any-wrap-c-in-tr-code/2921/8 "2024-05-18T20:57:22Z")
Two solid and helpful pointers, many thanks. Out of curiosity, has anything changed w.r.t. the expansion of match that would allow TR to better preserve the types of question mark patterns under a `...` ? I got wedged at ```racket #lang typed/racket (define (f x) : (Listof Real) (match x [(list (? real? #{x : (Listof Real)}) ... 'p) x])) ``` ... which does not type-check. I can solve this by ditching the inner hash-curly annotation and adding either a cast or an assert (sounds like I should stop recommending `cast`, and go to `assert`, though this will generally require a separate use of define-predicate, IIUC). ---
**Author:** ![scolobb](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/scolobb/32/108_2.png) [@scolobb](https://racket.discourse.group/u/scolobb)\ **Post date:** [May 19, 2024, 6:15am UTC](https://racket.discourse.group/t/how-to-find-insertions-of-any-wrap-c-in-tr-code/2921/9 "2024-05-19T06:15:40Z")
> [@jbclements](#): > > go to `assert`, though this will generally require a separate use of define-predicate, IIUC) I have this macro in my codebase which I find myself using quite often: ```scheme (define-syntax-parse-rule (assert-type e:expr type:expr) (assert e (make-predicate type))) ``` In many naive situations, I could just replace `cast` with `assert-type` transparently.