From 678a3bee593589145a22edb96146944b9d8f4563 Mon Sep 17 00:00:00 2001
From: Sander Spies <sandermail@gmail.com>
Date: Tue, 10 Mar 2020 16:43:29 +0100
Subject: [PATCH] Fix error messages.

---
 src/passes/1-parser/reasonligo/error.messages.checked-in | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/passes/1-parser/reasonligo/error.messages.checked-in b/src/passes/1-parser/reasonligo/error.messages.checked-in
index 60efe8353..fe67da530 100644
--- a/src/passes/1-parser/reasonligo/error.messages.checked-in
+++ b/src/passes/1-parser/reasonligo/error.messages.checked-in
@@ -2630,7 +2630,7 @@ interactive_expr: True LPAR True VBAR
 ## In state 222, spurious reduction of production expr -> base_cond__open(expr) 
 ##
 
-<YOUR SYNTAX ERROR MESSAGE HERE>
+Missing `)`.
 
 interactive_expr: True LPAR WILD
 ##
@@ -2873,7 +2873,12 @@ contract: Let Ident EQ WILD
 ## 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
 ##