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

Fix error messages.

Browse Source
This commit is contained in:
Sander Spies 2020-03-10 16:43:29 +01:00
parent a94753f720
commit 678a3bee59
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2630,7 +2630,7 @@ interactive_expr: True LPAR True VBAR
## In state 222, spurious reduction of production expr -> base_cond__open(expr) ## In state 222, spurious reduction of production expr -> base_cond__open(expr)
## ##
<YOUR SYNTAX ERROR MESSAGE HERE> Missing `)`.
interactive_expr: True LPAR WILD interactive_expr: True LPAR WILD
## ##
@ -2873,7 +2873,12 @@ contract: Let Ident EQ WILD
## Ident option(type_annotation) EQ ## Ident option(type_annotation) EQ
## ##
<YOUR SYNTAX ERROR MESSAGE HERE> This is an incorrect let binding.
-
Examples of correct let bindings:
let a: int = 4;
let (a: int, b: int) = (1, 2);
let func = (a: int, b: int) => a + b;
contract: Let Ident WILD contract: Let Ident WILD
## ##