---

yaml
---
r: 922
b: refs/heads/master
c: c410d68
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 3352fab59ba39194b2efd7e478aa1fbbfe0de8d1
+refs/heads/master: c410d685294e73a944f3e7cfe403f415a0cff849

trunk/src/boot/me/trans.ml

@@ -2578,8 +2578,13 @@ let trans_visitor
     in
       match expr with
           Ast.EXPR_binary (binop, a, b) ->
-            assert (is_prim_type (simplified_ty (atom_type cx a)));
-            assert (is_prim_type (simplified_ty (atom_type cx b)));
+            if not (is_prim_type (simplified_ty (atom_type cx a))) ||
+                not (is_prim_type (simplified_ty (atom_type cx b))) then
+              unimpl None "application of binary operator %a to operands of \
+                type %s and %s"
+                Ast.sprintf_binop binop
+                (pretty_ty_str cx (Ast.sprintf_ty ()) (atom_type cx a))
+                (pretty_ty_str cx (Ast.sprintf_ty ()) (atom_type cx b));
             trans_binary binop (trans_atom a) (trans_atom b)
 
         | Ast.EXPR_unary (unop, a) ->