more 64 bit arithmetic

Author: jsiek

interp_Larray.py

@@ -10,7 +10,7 @@ def interp_exp(self, e, env):
         return [self.interp_exp(e, env) for e in es]
       case BinOp(left, Mult(), right):
           l = self.interp_exp(left, env); r = self.interp_exp(right, env)
-          return l * r
+          return mul64(l, r)
       case Subscript(tup, index, Load()):
         t = self.interp_exp(tup, env)
         n = self.interp_exp(index, env)

type_check_Cif.py

@@ -113,7 +113,7 @@ def type_check_stmt(self, s, env):
       case Return(value):
         value_t = self.type_check_exp(value, env)
       case _:
-        raise Exception('error in type_check_stmt, unexpected' + repr(s))
+        raise Exception('error in type_check_stmt, unexpected ' + repr(s))
 
   def type_check(self, p):
     match p: