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/nativeinstr.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'kernel/nativeinstr.mli') diff --git a/kernel/nativeinstr.mli b/kernel/nativeinstr.mli index bba011475..13d61841f 100644 --- a/kernel/nativeinstr.mli +++ b/kernel/nativeinstr.mli @@ -29,6 +29,7 @@ and lambda = | Llet of name * lambda * lambda | Lapp of lambda * lambda array | Lconst of prefix * constant + | Lprim of prefix * constant * Primitives.t * lambda array | Lcase of annot_sw * lambda * lambda * lam_branches (* annotations, term being matched, accu, branches *) | Lif of lambda * lambda * lambda -- cgit v1.2.3