[plt-scheme] typed scheme problem

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sat May 2 12:30:39 EDT 2009

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



Posted on the users mailing list.