That was not at all what Matthias was talking about. My response was to understand his comment.
On Tue, Aug 17, 2010 at 11:59 PM, Jay McCarthy <jay.mccar...@gmail.com> wrote: > #lang typed/racket/no-check > > On Tue, Aug 17, 2010 at 9:35 PM, Shriram Krishnamurthi <s...@cs.brown.edu> > wrote: >> If I want to move (define: (foo ([a : ...])) ...) into untyped code, I >> have to touch the source -- the code simply isn't valid syntax. >> _________________________________________________ >> For list-related administrative tasks: >> http://lists.racket-lang.org/listinfo/dev >> > > > > -- > Jay McCarthy <j...@cs.byu.edu> > Assistant Professor / Brigham Young University > http://teammccarthy.org/jay > > "The glory of God is Intelligence" - D&C 93 > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
