The contract on pict-width doesn't rule out picts with +inf.0 as the width, but it does break various things, including scribble's rendering of picts. Here's one way such a pict can be created. Probably the best thing is to add more checking on functions like inset and also to update the contracts in the docs on functions like pict-width.
The contract on
pict-width
doesn't rule out picts with+inf.0
as the width, but it does break various things, including scribble's rendering of picts. Here's one way such a pict can be created. Probably the best thing is to add more checking on functions likeinset
and also to update the contracts in the docs on functions likepict-width
.