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

From: Ismael Figueroa Palet (ifigueroap at gmail.com)
Date: Thu Nov 24 15:14:10 EST 2011

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20111124/d74095dc/attachment.html>

Posted on the users mailing list.