From 557c5a2938f16c0601f5a0323c66b78d2da01ee9 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 16 Feb 2018 17:53:12 +0100
Subject: New IR in VM: Clambda.

This intermediate representation serves two purposes:
1- It is a preliminary step for primitive machine integers, as iterators
will be compiled to Clambda.
2- It makes the VM compilation passes closer to the ones of
native_compute. Once we unifiy the representation of values, we should
be able to factorize the lambda-code generation between the two
compilers, as well as the reification code.

This code was written by Benjamin Grégoire and myself.
---
 kernel/kernel.mllib | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'kernel/kernel.mllib')

diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index 749854b8cd..370185a721 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -23,8 +23,9 @@ Declareops
 Retroknowledge
 Conv_oracle
 Pre_env
-Cbytegen
+Clambda
 Nativelambda
+Cbytegen
 Nativecode
 Nativelib
 Environ
-- 
cgit v1.2.3