On Thu, Nov 24, 2011 at 3:14 PM, Ismael Figueroa Palet <ifiguer...@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.
This means that you passed the procedure to an untyped module with the type `Any'. If you provide a more specific type, it won't be wrapped like this. > When I display the values I get: > > #<Typed Value: #<procedure:A>> #<procedure:A> > > is there any way to unwrap the value? No, there's no way to unwrap these values -- you should try to avoid generating them in the first place. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
