From 671760c2b5857312cac178f24cad8686c1d4b719 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Mon, 4 Aug 2025 01:31:05 +0200 Subject: Identification of which local variables can be allocated in virtual registers --- dynarray.sig | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'dynarray.sig') 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 -- cgit v1.2.3