diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-04 01:31:05 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-04 01:31:05 +0200 |
| commit | 671760c2b5857312cac178f24cad8686c1d4b719 (patch) | |
| tree | 1001013b69ffff92d0798854a2b549702a1aace5 /dynarray.sig | |
| parent | 2f168e6c941662d9a3b4c0e5440f9f4cdf0bb710 (diff) | |
Identification of which local variables can be allocated in
virtual registers
Diffstat (limited to 'dynarray.sig')
| -rw-r--r-- | dynarray.sig | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dynarray.sig b/dynarray.sig index ab3a248..0aa8f0b 100644 --- a/dynarray.sig +++ b/dynarray.sig @@ -1,8 +1,6 @@ signature DYNARRAY = sig type 'a t = (int * 'a option Array.array) ref - exception OutOfBounds - val create: int -> 'a t val create0: unit -> 'a t @@ -11,4 +9,7 @@ signature DYNARRAY = sig val push: 'a t -> 'a -> unit val get: 'a t -> int -> 'a val set: 'a t -> int -> 'a -> unit + + val reset: 'a t -> unit + val toVec: 'a t -> 'a vector end |