add field access and list patterns are finished

Co-authored-by: rvcas <x@rvcas.dev>
aiken-lang · Nov 27, 2022 · 1b19831 · 1b19831
1 parent 450fba8
commit 1b19831
Show file tree

Hide file tree

Showing 6 changed files with 471 additions and 470 deletions.
diff --git a/crates/lang/src/builtins.rs b/crates/lang/src/builtins.rs
@@ -7,7 +7,7 @@ use uplc::builtins::DefaultFunction;
 use crate::{
     ast::{ModuleKind, Span},
     tipo::{
-        self, fields::FieldMap, Type, TypeConstructor, TypeInfo, TypeVar, ValueConstructor,
+        fields::FieldMap, Type, TypeConstructor, TypeInfo, TypeVar, ValueConstructor,
         ValueConstructorVariant,
     },
     IdGenerator,

diff --git a/crates/lang/src/ir.rs b/crates/lang/src/ir.rs
@@ -3,11 +3,8 @@ use std::sync::Arc;
 use uplc::builtins::DefaultFunction;
 
 use crate::{
-    ast::{
-        Annotation, Arg, AssignmentKind, BinOp, CallArg, Clause, IfBranch, Pattern, Span,
-        TypedRecordUpdateArg,
-    },
-    tipo::{ModuleValueConstructor, PatternConstructor, Type, ValueConstructor},
+    ast::{AssignmentKind, BinOp, TypedRecordUpdateArg},
+    tipo::{Type, ValueConstructor},
 };
 
 // []
@@ -79,7 +76,6 @@ pub enum IR {
     DefineFunc {
         func_name: String,
         module_name: String,
-        count: usize,
     },
 
     DefineConst {
@@ -131,9 +127,8 @@ pub enum IR {
     },
 
     RecordAccess {
-        label: String,
         index: u64,
-        count: usize,
+        tipo: Arc<Type>,
     },
 
     FieldsExpose {