[racket] TR: unwrapping from <#Typed Value: ... > ??

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Nov 24 16:16:41 EST 2011

Not a direct answer to your question, but comparing procedures for
equality using eq? can be fragile (contracts will break the equality,
depending on how you use them, for example).

You might instead use applicable structs to implement the equality by
putting some token you use for equality into a second field.


On Thu, Nov 24, 2011 at 2:14 PM, Ismael Figueroa Palet
<ifigueroap at gmail.com> wrote:
> I need to compare to procedures for equality. In the untyped version of the
> code I used eq? and it worked for my purposes.
> Now, in the Typed Racket version I'm having the problem that somehow one of
> the procedures is wrapped in a "typed value" struct while the other is not.
> When I display the values I get:
> #<Typed Value: #<procedure:A>> #<procedure:A>
> is there any way to unwrap the value?
> Thanks
> --
> Ismael
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users

Posted on the users mailing list.