checkpoint

aiken-lang · Nov 30, 2022 · fea29a1 · fea29a1
1 parent 55a6b64
commit fea29a1
Show file tree

Hide file tree

Showing 3 changed files with 265 additions and 53 deletions.
diff --git a/crates/lang/src/ir.rs b/crates/lang/src/ir.rs
@@ -96,6 +96,10 @@ pub enum IR {
         count: usize,
     },
 
+    Lam {
+        name: String,
+    },
+
     // Try {
     //     tipo: Arc<Type>,
     //     value: Box<Self>,
@@ -104,6 +108,7 @@ pub enum IR {
     // },
     When {
         count: usize,
+        tipo: Arc<Type>,
         subject_name: String,
     },
 
@@ -136,6 +141,7 @@ pub enum IR {
 
     FieldsExpose {
         count: usize,
+        indices: Vec<usize>,
     },
 
     // ModuleSelect {