HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-08-16 11:50:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

chore: fix newlines

Browse Source
This commit is contained in:
felipegchi 2023-01-24 10:27:40 -03:00
parent 91ed7314a6
commit 2a7df0a3c7
2 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/kind-derive/src/subst.rs
View File

@ -290,17 +290,13 @@ impl<'a> Visitor for Subst<'a> {
}
ExprKind::SeqRecord(sec) => {
use kind_tree::concrete::SeqOperation::*;
self.visit_expr(&mut sec.expr);
self.visit_expr(&mut sec.typ);
match &mut sec.operation {
Set(expr) => self.visit_expr(expr),
Mut(expr) => self.visit_expr(expr),
Get => (),
}
},
}
}

8
crates/kind-parser/src/expr.rs
View File

@ -881,23 +881,16 @@ impl<'a> Parser<'a> {
pub fn parse_seq(&mut self) -> Result<Box<Expr>, SyntaxDiagnostic> {
let start = self.range();
self.eat_variant(Token::Bang)?;
let typ = self.parse_atom()?;
let name = self.parse_atom()?;
let mut fields = vec![];
let mut end = self.range();
while let Token::Dot = &self.get() {
self.advance();
end = self.range();
fields.push(self.parse_id()?);
}
let operation = if self.check_and_eat(Token::Eq) {
let expr = self.parse_expr(false)?;
end = expr.range;
@ -909,7 +902,6 @@ impl<'a> Parser<'a> {
} else {
SeqOperation::Get
};
Ok(Box::new(Expr {
data: ExprKind::SeqRecord(
SeqRecord {