On Fri, Jul 20, 2012 at 11:11 AM, Ray Racine <[email protected]> wrote: > In the below "head" procedure, [(Datum d) (Done 'EOS d)] does not type > check. I'm not sure how I inform the type checker to just "lift" d to type > (Option D).
This is just a bug; I'll push a fix momentarily. -- sam th [email protected] ____________________ Racket Users list: http://lists.racket-lang.org/users
