new SSA IL

Stephen Weeks MLton@sourcelight.com
Wed, 8 Aug 2001 11:51:20 -0700


> to the start label.  I was thinking the structure was more like
> 
> structure Function:
>   sig
>     datatype t =
>       T of {
>             name: Func.t,
>             args: Type.t vector,
>             start: Label.t (* must have args of same type as args *)
>             blocks: Block.t vector,
>             returns: Type.t vector
>            }
>   end

I'm fine with this.