Fix error range, add missing error production

Author: auduchinok

src/Compiler/pars.fsy

@@ -2407,13 +2407,25 @@ attrUnionCaseDecl:
       { if Option.isSome $2 then errorR(Error(FSComp.SR.parsUnionCasesCannotHaveVisibilityDeclarations(), rhs parseState 2))
         let mOf = rhs parseState 3
         let mId = mOf.StartRange
-        errorR (Error(FSComp.SR.parsMissingUnionCaseName(), mId))
+        errorR (Error(FSComp.SR.parsMissingUnionCaseName(), mOf))
         let mDecl = rhs2 parseState 1 4
         (fun (xmlDoc, mBar) ->
             let id = SynIdent(mkSynId mId "", None)
             let trivia: SynUnionCaseTrivia = { BarRange = Some mBar }
             let mDecl = unionRangeWithXmlDoc xmlDoc mDecl
-            Choice2Of2 (SynUnionCase ( $1, id, SynUnionCaseKind.Fields $4, xmlDoc, None, mDecl, trivia))) }
+            Choice2Of2(SynUnionCase($1, id, SynUnionCaseKind.Fields $4, xmlDoc, None, mDecl, trivia))) }
+
+  | opt_attributes opt_access OF recover
+      { if Option.isSome $2 then errorR(Error(FSComp.SR.parsUnionCasesCannotHaveVisibilityDeclarations(), rhs parseState 2))
+        let mOf = rhs parseState 3
+        let mId = mOf.StartRange
+        errorR (Error(FSComp.SR.parsMissingUnionCaseName(), mOf))
+        let mDecl = rhs2 parseState 1 3
+        (fun (xmlDoc, mBar) ->
+            let id = SynIdent(mkSynId mId "", None)
+            let trivia: SynUnionCaseTrivia = { BarRange = Some mBar }
+            let mDecl = unionRangeWithXmlDoc xmlDoc mDecl
+            Choice2Of2(SynUnionCase($1, id, SynUnionCaseKind.Fields [], xmlDoc, None, mDecl, trivia))) }
 
   | opt_attributes opt_access unionCaseName OF recover
       { if Option.isSome $2 then errorR(Error(FSComp.SR.parsUnionCasesCannotHaveVisibilityDeclarations(), rhs parseState 2))
@@ -2489,7 +2501,7 @@ firstUnionCaseDecl:
   | OF unionCaseRepr
      { let mOf = rhs parseState 1
        let mId = mOf.StartRange
-       errorR (Error(FSComp.SR.parsMissingUnionCaseName(), mId))
+       errorR (Error(FSComp.SR.parsMissingUnionCaseName(), mOf))
        let id = SynIdent(mkSynId mId "", None)
        let trivia: SynUnionCaseTrivia = { BarRange = None }
        let xmlDoc = grabXmlDoc (parseState, [], 1)

tests/service/data/SyntaxTree/UnionCase/Missing name 03.fs.bsl

@@ -46,4 +46,4 @@ ImplFile
       { ConditionalDirectives = []
         CodeComments = [] }, set []))
 
-(4,4)-(4,4) parse error Missing union case name
+(4,4)-(4,6) parse error Missing union case name

tests/service/data/SyntaxTree/UnionCase/Missing name 04.fs.bsl

@@ -41,4 +41,4 @@ ImplFile
       { ConditionalDirectives = []
         CodeComments = [] }, set []))
 
-(5,6)-(5,6) parse error Missing union case name
+(5,6)-(5,8) parse error Missing union case name

tests/service/data/SyntaxTree/UnionCase/Missing name 05.fs.bsl

@@ -42,4 +42,4 @@ ImplFile
         CodeComments = [] }, set []))
 
 (5,6)-(5,14) parse error Accessibility modifiers are not permitted on union cases. Use 'type U = internal ...' or 'type U = private ...' to give an accessibility to the whole representation.
-(5,15)-(5,15) parse error Missing union case name
+(5,15)-(5,17) parse error Missing union case name

tests/service/data/SyntaxTree/UnionCase/Missing name 06.fs.bsl

@@ -20,7 +20,7 @@ ImplFile
                          SynUnionCase
                            ([], SynIdent (, None), Fields [],
                             PreXmlDoc ((5,4), FSharp.Compiler.Xml.XmlDocCollector),
-                            None, (5,4--5,5), { BarRange = Some (5,4--5,5) });
+                            None, (5,6--5,17), { BarRange = Some (5,4--5,5) });
                          SynUnionCase
                            ([], SynIdent (C, None), Fields [],
                             PreXmlDoc ((6,4), FSharp.Compiler.Xml.XmlDocCollector),
@@ -36,3 +36,4 @@ ImplFile
 
 (6,4)-(6,5) parse error Unexpected symbol '|' in union case
 (5,6)-(5,14) parse error Accessibility modifiers are not permitted on union cases. Use 'type U = internal ...' or 'type U = private ...' to give an accessibility to the whole representation.
+(5,15)-(5,17) parse error Missing union case name

tests/service/data/SyntaxTree/UnionCase/Missing name 07.fs.bsl

@@ -20,7 +20,7 @@ ImplFile
                          SynUnionCase
                            ([], SynIdent (, None), Fields [],
                             PreXmlDoc ((5,4), FSharp.Compiler.Xml.XmlDocCollector),
-                            None, (5,4--5,5), { BarRange = Some (5,4--5,5) });
+                            None, (5,6--5,8), { BarRange = Some (5,4--5,5) });
                          SynUnionCase
                            ([], SynIdent (C, None), Fields [],
                             PreXmlDoc ((6,4), FSharp.Compiler.Xml.XmlDocCollector),
@@ -39,3 +39,4 @@ ImplFile
         CodeComments = [] }, set []))
 
 (6,4)-(6,5) parse error Unexpected symbol '|' in union case
+(5,6)-(5,8) parse error Missing union case name