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

Error message shows up again.

Browse Source
This commit is contained in:
Sander Spies 2020-04-01 16:34:36 +02:00
parent c764f89881
commit ec7c6e8ad9
5 changed files with 1367 additions and 1391 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -652,19 +652,6 @@ let_expr(right_expr):
disj_expr_level: disj_expr_level:
disj_expr disj_expr
| conj_expr_level { $1 } | conj_expr_level { $1 }
| "_" type_annotation_simple {
let (colon, type_expr) = $2 in
EAnnot {
value = {
inside = (
EVar { value = "_"; region = $1 }, colon, type_expr
);
lpar = Region.ghost;
rpar = Region.ghost;
};
region = Region.ghost;
}
}
| par(tuple(disj_expr_level)) type_annotation_simple? { | par(tuple(disj_expr_level)) type_annotation_simple? {
let region = $1.region in let region = $1.region in
let tuple = ETuple {value=$1.value.inside; region} in let tuple = ETuple {value=$1.value.inside; region} in
@ -796,6 +783,7 @@ common_expr:
| "<bytes>" { EBytes $1 } | "<bytes>" { EBytes $1 }
| "<ident>" | module_field { EVar $1 } | "<ident>" | module_field { EVar $1 }
| projection { EProj $1 } | projection { EProj $1 }
| "_" { EVar {value = "_"; region = $1} }
| update_record { EUpdate $1 } | update_record { EUpdate $1 }
| "<string>" { EString (String $1) } | "<string>" { EString (String $1) }
| unit { EUnit $1 } | unit { EUnit $1 }

2736
src/passes/1-parser/reasonligo/error.messages.checked-in
View File

File diff suppressed because it is too large Load Diff

2
src/test/contracts/negative/nested_bigmap_1.religo
View File

@ -5,6 +5,6 @@ type storage = big_map (int, bar);
type return = (list (operation), storage); type return = (list (operation), storage);
let main = ((ignore, store): (unit, storage)): return => { let main = ((_, store): (unit, storage)): return => {
([]: list(operation), store) ([]: list(operation), store)
}; };

2
src/test/contracts/negative/nested_bigmap_2.religo
View File

@ -3,7 +3,7 @@ type storage = big_map (nat, big_map (int, string));
type return = (list (operation), storage); type return = (list (operation), storage);
let main = ((ignore, store): (unit, storage)): return => { let main = ((_, store): (unit, storage)): return => {
([]: list(operation), store) ([]: list(operation), store)
}; };

2
src/test/contracts/negative/nested_bigmap_3.religo
View File

@ -10,6 +10,6 @@ type storage = big_map(nat, foo);
type return = (list (operation), storage); type return = (list (operation), storage);
let main = ((ignore, store): (unit, storage)): return => { let main = ((_, store): (unit, storage)): return => {
([]: list(operation), store) ([]: list(operation), store)
}; };