Fixup type coercions and overloading

Reduce the number of implicit coercions we're doing, expanding overloading and fixing up types of functions.
Warning: test_power does not run as not all overloaded funcitons are implemented
Warning: vector concatenation does not pretty print to sail source yet

1 files changed, 1 insertions, 0 deletions

diff --git a/language/l2.ml b/language/l2.ml
index 3ce5cac3..76b27874 100644
--- a/language/l2.ml
+++ b/language/l2.ml
@@ -246,6 +246,7 @@ type
  | E_vector_subrange of 'a exp * 'a exp * 'a exp (* subvector extraction *)
  | E_vector_update of 'a exp * 'a exp * 'a exp (* vector functional update *)
  | E_vector_update_subrange of 'a exp * 'a exp * 'a exp * 'a exp (* vector subrange update (with vector) *)
+ | E_vector_append of 'a exp * 'a exp (* vector concatenation *)
  | E_list of ('a exp) list (* list *)
  | E_cons of 'a exp * 'a exp (* cons *)
  | E_record of 'a fexps (* struct *)