From 00104884e101d3125e62dde9757b9c1cacb3feec Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Mar 2022 17:36:33 +0100
Subject: Make good progress on adding support for external and opaque
 declarations

---
 src/Pure.ml | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'src/Pure.ml')

diff --git a/src/Pure.ml b/src/Pure.ml
index a4b193f7..79801440 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -596,6 +596,14 @@ type fun_sig = {
 
 type inst_fun_sig = { inputs : ty list; outputs : ty list }
 
+type fun_body = {
+  inputs : var list;
+  inputs_lvs : typed_lvalue list;
+      (** The inputs seen as lvalues. Allows to make transformations, for example
+          to replace unused variables by `_` *)
+  body : texpression;
+}
+
 type fun_decl = {
   def_id : FunDeclId.id;
   back_id : T.RegionGroupId.id option;
@@ -606,9 +614,5 @@ type fun_decl = {
           (to identify the forward/backward functions) later.
        *)
   signature : fun_sig;
-  inputs : var list;
-  inputs_lvs : typed_lvalue list;
-      (** The inputs seen as lvalues. Allows to make transformations, for example
-          to replace unused variables by `_` *)
-  body : texpression;
+  body : fun_body option;
 }
-- 
cgit v1.2.3