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

add leading VBAR to sum types in pascaligo

Browse Source
This commit is contained in:
Galfour 2019-04-24 18:46:11 +00:00
parent 669945d4f3
commit fdc62b5ebc
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/ligo/parser/pascaligo/Parser.mly
View File

@ -206,9 +206,9 @@ type_tuple:
par(nsepseq(type_expr,COMMA)) { $1 } par(nsepseq(type_expr,COMMA)) { $1 }
sum_type: sum_type:
nsepseq(variant,VBAR) { option(VBAR) nsepseq(variant,VBAR) {
let region = nsepseq_to_region (fun x -> x.region) $1 let region = nsepseq_to_region (fun x -> x.region) $2
in {region; value = $1} } in {region; value = $2} }
variant: variant:
Constr Of cartesian { Constr Of cartesian {