[plt-scheme] typed scheme problem

From: Jon Zeppieri (zeppieri at gmail.com)
Date: Sat May 2 13:17:26 EDT 2009

On Sat, May 2, 2009 at 12:30 PM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
> On May 2, 2009, at 11:56 AM, Jon Zeppieri wrote:
>> typecheck: Wrong function argument type, expected #(struct:Promise ((U
>> StreamNil16 (StreamPair18 A)))), got #(struct:Promise ((U StreamNil16
>> (StreamPair18 A)))) for argument 1 in: tks
> Speculation: This looks like type checking with generative define struct
> went wrong. I know that this isn't helpful but we didn't have gen ds but Sam
> and I discussed adding it (in the same spirit as gen datatype in SML). So
> perhaps he tried and introduced a bug (though this kind of bug shouldn't
> pass the regression tests). -- Matthias

It turns out, if I move the stream definitions into the parser
combinator module (rather than having the latter require them from a
separate module), it typechecks fine.  So it seems to be an
inter-module problem.


Posted on the users mailing list.