SCM Repository
[diderot] Diff of /branches/pure-cfg/src/compiler/IL/ssa-fn.sml
Diff of /branches/pure-cfg/src/compiler/IL/ssa-fn.sml
Parent Directory
|
Revision Log
|
Patch
202 |
(* operations on variables *) |
(* operations on variables *) |
203 |
structure Var : sig |
structure Var : sig |
204 |
val new : string * Ty.ty -> var |
val new : string * Ty.ty -> var |
205 |
|
val copy : var -> var |
206 |
val name : var -> string |
val name : var -> string |
207 |
val ty : var -> Ty.ty |
val ty : var -> Ty.ty |
208 |
val binding : var -> var_bind |
val binding : var -> var_bind |
371 |
useCnt = ref 0, |
useCnt = ref 0, |
372 |
props = PropList.newHolder() |
props = PropList.newHolder() |
373 |
} |
} |
374 |
|
fun copy (V{name, ty, ...}) = new (name, ty) |
375 |
fun name (V{name, ...}) = name |
fun name (V{name, ...}) = name |
376 |
fun ty (V{ty, ...}) = ty |
fun ty (V{ty, ...}) = ty |
377 |
fun binding (V{bind, ...}) = !bind |
fun binding (V{bind, ...}) = !bind |
|
Legend:
Removed from v.648 |
|
changed lines |
|
Added in v.649 |
|
|