Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Comply with Basis Lib, added a vector type abbrev.

Closes bug #2
  • Loading branch information...
commit 6a1ef08e4a9276b42395d5018dd113b15ee04a5a 1 parent cb328b0
@kfl authored
Showing with 3 additions and 3 deletions.
  1. +1 −2  src/mosmllib/Array.mlp
  2. +2 −1  src/mosmllib/Array.sig
View
3  src/mosmllib/Array.mlp
@@ -5,12 +5,11 @@ structure Array :> Array = struct
(* In fact, type 'a array = 'a array_ ref, but for the static equality
* type to be right, we need to declare it a prim_EQtype: *)
prim_EQtype 'a array;
+type 'a vector = 'a Vector.vector;
local
prim_type 'a array_;
- type 'a vector = 'a Vector.vector;
-
prim_val length_ : 'a array_ -> int = 1 "vect_length";
prim_val lengthv_ : 'a vector -> int = 1 "vect_length";
View
3  src/mosmllib/Array.sig
@@ -1,6 +1,7 @@
(* Array -- SML Basis Library *)
prim_EQtype 'a array
+type 'a vector = 'a Vector.vector
val maxLen : int
@@ -11,7 +12,7 @@ val fromList : '_a list -> '_a array
val length : 'a array -> int
val sub : 'a array * int -> 'a
val update : 'a array * int * 'a -> unit
-val vector : 'a array -> 'a Vector.vector
+val vector : 'a array -> 'a vector
val copy : {src: 'a array, dst: 'a array, di: int} -> unit
val copyVec : {src: 'a vector, dst: 'a array, di: int} -> unit
Please sign in to comment.
Something went wrong with that request. Please try again.