[racket-dev] Wrapping loops for TR isn't working, and the type annotations are for the wrong value

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Wed Aug 15 11:42:15 EDT 2012

At Wed, 15 Aug 2012 17:38:18 +0200, Jens Axel Søgaard wrote:
> 2012/8/15 Neil Toronto <neil.toronto at gmail.com>:
> 
> > Other options:
> >
> >  1. Raise an error when the vector isn't filled.
> >  2. Return a (Vectorof (U T #f)) (better than (Vectorof (U T 0))?).
> >  3. Always return a vector whose length is the number of iterations.
> 
> Or a variation of 2.:
> 
> 4. Let the user supply the value to fill the vector with.


At Wed, 15 Aug 2012 08:37:44 -0600, Matthew Flatt wrote:
> As for the problem with padding `#:length'-specified vectors with 0,
> maybe there should be a `#:default' clause to provide the fill value,
> instead?


I pushed this change, but as `#:fill' instead of `#:default'.



Posted on the dev mailing list.