Add variance indicator to type.
authorKim Nguyễn <kn@lri.fr>
Thu, 16 Feb 2012 01:46:18 +0000 (02:46 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 16 Feb 2012 01:46:18 +0000 (02:46 +0100)
src/node.ml
src/node.mli

index 78f0899..abf75a4 100644 (file)
@@ -1,4 +1,4 @@
-type 'a t = int
+type +'a t = int
 
 
 let nil = ~-1
index 2aecb70..84472ac 100644 (file)
@@ -1,4 +1,4 @@
-type 'a t = private int
+type +'a t = private int
 val nil : 'a t
 val null : 'a t
 val is_nil : 'a t -> bool