balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'small-reasonligo-record-punning-improvement' into 'dev'

Browse Source 
Make it possible to pun the first argument of a record.

See merge request ligolang/ligo!570
This commit is contained in:
Christian Rinderknecht 2020-04-22 17:13:01 +00:00
commit 0e452ffbf1
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/passes/1-parser/reasonligo/Parser.mly
View File

@ -933,6 +933,17 @@ sequence_or_record_in:
| None -> | None ->
PaRecord {r_elts = ($1, []); r_terminator = None} PaRecord {r_elts = ($1, []); r_terminator = None}
} }
| field_name more_field_assignments {
let value = {
field_name = $1;
assignment = ghost;
field_expr = EVar $1 }
in
let field_name = {$1 with value} in
let (comma, elts) = $2 in
let r_elts = Utils.nsepseq_cons field_name comma elts in
PaRecord {r_elts; r_terminator = None}
}
sequence_or_record: sequence_or_record:
"{" sequence_or_record_in "}" { "{" sequence_or_record_in "}" {