SSA IL

Stephen Weeks MLton@sourcelight.com
Thu, 1 Nov 2001 19:40:05 -0800


> Great.  Just some notes: I've been mostly assuming some think like
> shrinkBlocks: Statement.t vector -> Block.t vector -> Block.t vector
> in the code (although they are all one liners), but when I was thinking
> about doing a really simple shrinker, I put
> shrinkFunction: Statement.t vector -> Function.t -> Function.t
> into shrink.sig, which seems more reasonable.

shrinkFunction sounds good to me.