From e74d328b32634a44ab049f971ec33fe6cd24df72 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Wed, 18 Nov 2020 13:18:04 -0800
Subject: Use nat_or_var where negative values don't make sense

---
 interp/stdarg.ml  | 3 +++
 interp/stdarg.mli | 2 ++
 2 files changed, 5 insertions(+)

(limited to 'interp')

diff --git a/interp/stdarg.ml b/interp/stdarg.ml
index 70be55f843..a953ca8898 100644
--- a/interp/stdarg.ml
+++ b/interp/stdarg.ml
@@ -37,6 +37,9 @@ let wit_pre_ident : string uniform_genarg_type =
 let wit_int_or_var =
   make0 ~dyn:(val_tag (topwit wit_int)) "int_or_var"
 
+let wit_nat_or_var =
+  make0 ~dyn:(val_tag (topwit wit_nat)) "nat_or_var"
+
 let wit_ident =
   make0 "ident"
 
diff --git a/interp/stdarg.mli b/interp/stdarg.mli
index bd34af5543..0a8fdf53b1 100644
--- a/interp/stdarg.mli
+++ b/interp/stdarg.mli
@@ -35,6 +35,8 @@ val wit_pre_ident : string uniform_genarg_type
 
 val wit_int_or_var : (int or_var, int or_var, int) genarg_type
 
+val wit_nat_or_var : (int or_var, int or_var, int) genarg_type
+
 val wit_ident : Id.t uniform_genarg_type
 
 val wit_hyp : (lident, lident, Id.t) genarg_type
-- 
cgit v1.2.3