From d1e7f0b4146aaaf3aa54902de9eb2ac44ad01160 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Wed, 10 Nov 2010 17:46:49 -0800
Subject: Redo the scheme for block context chaining and termination, to
 simplify and support ret better.

---
 src/boot/me/semant.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/boot')

diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml
index c22e788b..4f02455a 100644
--- a/src/boot/me/semant.ml
+++ b/src/boot/me/semant.ml
@@ -1286,7 +1286,8 @@ let is_prim_type (t:Ast.ty) : bool =
     | Ast.TY_uint
     | Ast.TY_char
     | Ast.TY_mach _
-    | Ast.TY_bool -> true
+    | Ast.TY_bool
+    | Ast.TY_native _ -> true
     | _ -> false
 ;;
 
-- 
cgit v1.2.3