[NO REVIEW] Post-rebase fixup

tweag · Feb 8, 2023 · 99d5b9f · 99d5b9f
1 parent 7c9d8c5
commit 99d5b9f
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 7 deletions.
diff --git a/src/parser/grammar.lalrpop b/src/parser/grammar.lalrpop
@@ -531,9 +531,18 @@ StrChunks: RichTerm = {
             }).collect();
 
             RichTerm::from(build_record([
-                (FieldPathElem::Ident("tag".into()), RichTerm::from(Term::Enum("SymbolicString".into()))),
-                (FieldPathElem::Ident("prefix".into()), RichTerm::from(Term::Enum(prefix.into()))),
-                (FieldPathElem::Ident("fragments".into()), RichTerm::from(Term::Array(terms, Default::default())))
+                (
+                  FieldPathElem::Ident("tag".into()),
+                  Field::from(RichTerm::from(Term::Enum("SymbolicString".into())))
+                ),
+                (
+                  FieldPathElem::Ident("prefix".into()),
+                  Field::from(RichTerm::from(Term::Enum(prefix.into())))
+                ),
+                (
+                  FieldPathElem::Ident("fragments".into()),
+                  Field::from(RichTerm::from(Term::Array(terms, Default::default())))
+                )
             ], Default::default()))
         } else {
             let mut chunks = chunks;

diff --git a/src/parser/tests.rs b/src/parser/tests.rs
@@ -39,22 +39,24 @@ fn mk_single_chunk(s: &str) -> RichTerm {
 }
 
 fn mk_symbolic_single_chunk(prefix: &str, s: &str) -> RichTerm {
+    use crate::term::record::Field;
+
     build_record(
         [
             (
                 FieldPathElem::Ident("tag".into()),
-                RichTerm::from(Term::Enum("SymbolicString".into())),
+                Field::from(RichTerm::from(Term::Enum("SymbolicString".into()))),
             ),
             (
                 FieldPathElem::Ident("prefix".into()),
-                RichTerm::from(Term::Enum(prefix.into())),
+                Field::from(RichTerm::from(Term::Enum(prefix.into()))),
             ),
             (
                 FieldPathElem::Ident("fragments".into()),
-                RichTerm::from(Array(
+                Field::from(RichTerm::from(Array(
                     Array::new(Rc::new([Str(String::from(s)).into()])),
                     Default::default(),
-                )),
+                ))),
             ),
         ],
         Default::default(),