more test updates

Author: edgarfgp

tests/FSharp.Compiler.ComponentTests/ErrorMessages/ErrorOnInvalidDeclsInTypeDefinitions.fs

@@ -23,6 +23,48 @@ type IFace =
                 (Error 58, Line 6, Col 5, Line 6, Col 11, "Modules cannot be nested inside types. Define modules at module or namespace level.")
             ]
 
+        [<Fact>]
+        let ``Version10: Error when module is inside interface verbose syntax``() =
+            Fsx """
+module TestModule
+
+type IFace =
+    interface
+        abstract F : int -> int
+        module M =
+            let f () = f ()
+    end
+            """
+            |> withLangVersion10
+            |> typecheck
+            |> shouldFail
+            |> withDiagnostics [
+                (Error 546, Line 5, Col 5, Line 5, Col 14, "Unmatched 'class', 'interface' or 'struct'");
+                (Error 10, Line 7, Col 9, Line 7, Col 15, "Unexpected keyword 'module' in member definition");
+                (Error 10, Line 9, Col 5, Line 9, Col 8, "Incomplete structured construct at or before this point in definition. Expected incomplete structured construct at or before this point or other token.")
+            ]
+            
+        [<Fact>]
+        let ``Error when module is inside interface verbose syntax``() =
+            Fsx """
+module TestModule
+
+type IFace =
+    interface
+        abstract F : int -> int
+        module M =
+            let f () = f ()
+    end
+            """
+            |> withLangVersion90
+            |> typecheck
+            |> shouldFail
+            |> withDiagnostics [
+                (Error 546, Line 5, Col 5, Line 5, Col 14, "Unmatched 'class', 'interface' or 'struct'");
+                (Error 10, Line 7, Col 9, Line 7, Col 15, "Unexpected keyword 'module' in member definition");
+                (Error 10, Line 9, Col 5, Line 9, Col 8, "Incomplete structured construct at or before this point in definition. Expected incomplete structured construct at or before this point or other token.")
+            ]
+            
         [<Fact>]
         let ``No Error when module is inside interface``() =
             Fsx """

tests/fsharp/typecheck/sigs/neg01.bsl

@@ -2,3 +2,9 @@
 neg01a.fsi(24,15,24,19): parse error FS0058: Nested type definitions are not allowed. Types must be defined at module or namespace level.
 
 neg01a.fs(22,15,22,19): parse error FS0058: Nested type definitions are not allowed. Types must be defined at module or namespace level.
+
+neg01a.fsi(24,8,25,7): typecheck error FS0913: Types cannot contain nested type definitions
+
+neg01a.fs(22,8,23,7): typecheck error FS0913: Types cannot contain nested type definitions
+
+neg01b.fs(2,13,2,14): typecheck error FS0039: The value, constructor, namespace or type 'X' is not defined.