[racket] An error with dates and types

From: Norman Gray (norman at astro.gla.ac.uk)
Date: Sun Aug 21 13:57:09 EDT 2011

Greetings.

On 2011 Aug 21, at 18:38, Carl Eastlund wrote:

> The error
> Norman reported looks like an internal error in TR related to the
> contract on date->seconds.

This was my impression.  Sorry if it wasn't clear, but my intention was to report the occurrence of the internal-looking error.

> Using require/typed is a workaround
> because it avoids typechecking contract-wrapped references.

That's what I've understood from the docs.

Best wishes,

Norman


-- 
Norman Gray  :  http://nxg.me.uk
School of Physics and Astronomy, University of Glasgow, UK




Posted on the users mailing list.