| 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. |
|
![[logo]](/logo.png){kind=logo}