From 2e8c02d5644e8e8e446ab6dfd832322276e44f89 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 7 Apr 2014 15:45:33 -0400
Subject: Machine arithmetic operations for native compiler.

This completes the port of the native compiler to retroknowledge.
However, some testing and optimizations are still to be done.
---
 kernel/nativelambda.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel/nativelambda.mli')

diff --git a/kernel/nativelambda.mli b/kernel/nativelambda.mli
index 8ff0d727ce..afebf8087a 100644
--- a/kernel/nativelambda.mli
+++ b/kernel/nativelambda.mli
@@ -37,3 +37,5 @@ val compile_dynamic_int31 : bool -> prefix -> constructor -> lambda array ->
 
 val before_match_int31 : bool -> prefix -> constructor -> lambda -> lambda
 
+val compile_prim : Primitives.t -> constant -> bool -> prefix -> lambda array ->
+		   lambda
-- 
cgit v1.2.3