diff options
| author | Kathy Gray | 2015-01-19 14:28:51 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-01-19 14:28:51 +0000 |
| commit | cb8f5faedb2263fafdd60a9f5a246ea629d4791a (patch) | |
| tree | f766a7b4122696048d69606066f2bd66f4db14e9 /src | |
| parent | b194fe956e50f3e37b75e2f868912f4328d0586a (diff) | |
Add an overload for - for vec x vdc -> range
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_internal.ml | 4 |
1 files changed, 4 insertions, 0 deletions
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")]) |