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, 1 deletions

diff --git a/src/test/test3.sail b/src/test/test3.sail
index 06086dd7..3a806f41 100644
--- a/src/test/test3.sail
+++ b/src/test/test3.sail
@@ -48,7 +48,7 @@ function nat main _ = {
   dummy_reg := (deinfix +)(5, 37);
   (* casts and external calls *)
   dummy_reg := 0b01 + 0b01;
-  dummy_reg2 := dummy_reg;               (* cast from [|256|] to bit[8] *)
+  dummy_reg2 := 0b00000001;
   dummy_reg2 := dummy_reg2 + dummy_reg2; (* cast to nat for add call *)
   dummy_reg2;                            (* cast again and return 4 *)
 }