From cb8f5faedb2263fafdd60a9f5a246ea629d4791a Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 19 Jan 2015 14:28:51 +0000
Subject: Add an overload for - for vec x vdc -> range

---
 src/type_internal.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/type_internal.ml b/src/type_internal.ml
index a65c1475..a3b2e0f2 100644
--- a/src/type_internal.ml
+++ b/src/type_internal.ml
@@ -1037,6 +1037,10 @@ let initial_typ_env =
                         (mk_pure_fun (mk_tup [mk_vector bit_t (Ovar "ord") (Nvar "o") (Nvar "n");
                                               mk_vector bit_t (Ovar "ord") (Nvar "p") (Nvar "n")])
                                      (mk_vector bit_t (Ovar "ord") (Nvar "o") (Nvar "n")))), External (Some "minus_vec"),[],pure_e);
+		  Base(((mk_nat_params ["m";"n";"o";"p";"q"])@(mk_ord_params ["ord"]),
+                        (mk_pure_fun (mk_tup [mk_vector bit_t (Ovar "ord") (Nvar "o") (Nvar "n");
+                                              mk_vector bit_t (Ovar "ord") (Nvar "p") (Nvar "n")])
+                           (mk_range (mk_nv "m") (mk_nv "q")))), External (Some "minus_vec_vec_range"),[],pure_e);
                   Base(((mk_nat_params ["n";"m";"o";"p"])@(mk_ord_params ["ord"]),
                         (mk_pure_fun (mk_tup [mk_vector bit_t (Ovar "ord") (Nvar "n") (Nvar "m");
                                               mk_range (mk_nv "o") (mk_nv "p")])
-- 
cgit v1.2.3