On Thu, Aug 26, 2010 at 3:54 PM, Jos Koot <[email protected]> wrote: > Two things worry me: > > In your version, > (my-map list '(1 2 3) '(a b c)) > results in an exception.
That's because TR cannot infer the type instantiation for `list' when it's used as an argument. > 2: > Replacing the internal calls to map by calls to my-map does not pass > check-syntax. Yes, `map' (the built-in one) has special handling in the presence of ... types. We've worked on reducing the amount of special casing, but it's not all gone yet. -- sam th [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
