[racket] Typed Inference Assistance

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Fri Jul 20 12:54:45 EDT 2012

On Fri, Jul 20, 2012 at 11:11 AM, Ray Racine <ray.racine at gmail.com> 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
samth at ccs.neu.edu

Posted on the users mailing list.