[ fix #43 ] Desugar: projections DONE

owo-lang · Oct 13, 2019 · cec0223 · cec0223
1 parent f3242df
commit cec0223
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -16,7 +16,7 @@
 + Unfolds data and codata applications (#27)
 + Parsing (expr parsing and file parsing) (#20, #31)
 + `Abs::App` is now chained (#33)
-+ Desugar surface into abstract, scope check (#36, #42)
++ Desugar surface into abstract, scope check (#36, #42, #43)
 
 # 0.0.3
 

diff --git a/src/syntax/abs/desugar/decls.rs b/src/syntax/abs/desugar/decls.rs
@@ -182,7 +182,12 @@ pub fn desugar_decl(state: DesugarState, decl: ExprDecl) -> DesugarM {
             let codata = AbsDecl::codata(loc, name, None, Default::default(), tele, fields_ices);
             state.decls.push(codata);
             for field in fields {
-                unimplemented!()
+                let (abs, new_st) = desugar_expr(state, field.expr)?;
+                state = new_st;
+                let name = field.label;
+                let loc = name.loc + abs.loc();
+                let proj = AbsDecl::field(loc, name, abs, GI(codata_ix));
+                state.decls.push(proj);
             }
             Ok(state)
         }