Merge pull request #62 from andreas/covariant

Make Angstrom.t covariant
inhabitedtype · Jan 19, 2017 · 01fa1de · 01fa1de
2 parents e2aeeb3 + 233c2d1
commit 01fa1de
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/angstrom.ml b/lib/angstrom.ml
@@ -209,7 +209,7 @@ module Unbuffered = struct
   let fail_k    buf pos _ marks msg = Fail(marks, msg)
   let succeed_k buf pos _       v   = Done(v, pos - Input.initial_commit_pos buf)
 
-  type 'a t =
+  type +'a t =
     { run : 'r. ('r failure -> ('a, 'r) success -> 'r state) with_input }
 
   let fail_to_string marks err =

diff --git a/lib/angstrom.mli b/lib/angstrom.mli
@@ -44,7 +44,7 @@
     reusable parsers suitable for high-performance applications. *)
 
 
-type 'a t
+type +'a t
 (** A parser for values of type ['a]. *)