Use _ as type parameter of GADT

0xrotense · Dec 11, 2021 · ee68a4b · ee68a4b
1 parent be9d72d
commit ee68a4b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/cpu/instruction.ml b/lib/cpu/instruction.ml
@@ -1,6 +1,6 @@
 open Uints
 
-type 'a arg =
+type _ arg =
   | Immediate8  : uint8        -> uint8  arg
   | Immediate16 : uint16       -> uint16 arg
   | Direct8     : uint16       -> uint8  arg

diff --git a/lib/cpu/instruction.mli b/lib/cpu/instruction.mli
@@ -1,6 +1,6 @@
 open Uints
 
-type 'a arg =
+type _ arg =
   | Immediate8  : uint8        -> uint8  arg
   | Immediate16 : uint16       -> uint16 arg
   | Direct8     : uint16       -> uint8  arg