language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 08:34:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Support record punning, e.g. { foo }

Browse source
This commit is contained in:
Richard Feldman 2019-09-20 01:19:48 -04:00
parent 97e0434896
commit 867ade4f46
1 changed files with 16 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

22
src/parse/mod.rs
View file

@ -359,13 +359,23 @@ pub fn list_literal<'a>(min_indent: u16) -> impl Parser<'a, Expr<'a>> {
pub fn record_literal<'a>(min_indent: u16) -> impl Parser<'a, Expr<'a>> {
let field = map_with_arena(
and(
loc(skip_second(unqualified_ident(), char(':'))),
space0_before(
loc(move |arena, state| parse_expr(min_indent, arena, state)),
min_indent,
),
// You must have a field name, e.g. "email"
loc(unqualified_ident()),
// Having a value is optional; both `{ email }` and `{ email: blah }` work
optional(skip_first(
char(':'),
space0_before(
loc(move |arena, state| parse_expr(min_indent, arena, state)),
min_indent,
),
)),
),
|arena, (label, loc_expr)| Expr::AssignField(label, arena.alloc(loc_expr)),
|arena, (label, opt_loc_expr)| match opt_loc_expr {
Some(loc_expr) => Expr::AssignField(label, arena.alloc(loc_expr)),
// If no value was provided, record it as a Var.
// Canonicalize will know what to do with a Var later.
None => Expr::Var(&[], label.value),
},
);
let fields = collection(char('{'), loc(field), char(','), char('}'), min_indent);