Report error at EOF

Author: auduchinok

src/Compiler/pars.fsy

@@ -3551,7 +3551,7 @@ headBindingPattern:
       { let mColonColon = rhs parseState 2
         SynPat.ListCons($1, $3, rhs2 parseState 1 3, { ColonColonRange = mColonColon }) }
 
-  | headBindingPattern COLON_COLON recover
+  | headBindingPattern COLON_COLON ends_coming_soon_or_recover 
       { let mColonColon = rhs parseState 2
         let pat2 = SynPat.Wild(mColonColon.EndRange)
         SynPat.ListCons($1, pat2, rhs2 parseState 1 2, { ColonColonRange = mColonColon }) }
@@ -3683,8 +3683,9 @@ constrPattern:
       { let m = unionRanges (rhs parseState 1) $2.Range
         SynPat.IsInst($2, m) }
 
-  | COLON_QMARK recover %prec pat_isinst
+  | COLON_QMARK ends_coming_soon_or_recover %prec pat_isinst
       { let mColon = rhs parseState 1
+        reportParseErrorAt mColon (FSComp.SR.parsExpectingPattern ())
         let ty = SynType.FromParseError(mColon.EndRange)
         SynPat.IsInst(ty, mColon) }
 
@@ -3867,8 +3868,9 @@ parenPattern:
       { let mLhs = lhs parseState
         SynPat.Typed($1, $3, mLhs) }
 
-  | parenPattern COLON recover
+  | parenPattern COLON ends_coming_soon_or_recover
       { let mColon = rhs parseState 2
+        reportParseErrorAt mColon (FSComp.SR.parsExpectingPattern ())
         let ty = SynType.FromParseError(mColon.EndRange)
         SynPat.Typed($1, ty, unionRanges $1.Range mColon) }
 
@@ -3880,8 +3882,9 @@ parenPattern:
       { let mColonColon = rhs parseState 2
         SynPat.ListCons($1, $3, rhs2 parseState 1 3, { ColonColonRange = mColonColon }) }
 
-  | parenPattern COLON_COLON recover
+  | parenPattern COLON_COLON ends_coming_soon_or_recover
       { let mColonColon = rhs parseState 2
+        reportParseErrorAt mColonColon (FSComp.SR.parsExpectingPattern ())
         let pat2 = SynPat.Wild(mColonColon.EndRange)
         SynPat.ListCons($1, pat2, rhs2 parseState 1 2, { ColonColonRange = mColonColon }) }