Add type info to error - references #1574 (#1834)

* Add type info to error - references #1574

* Add type info to FS0314

* Add type info to more SignatureConformance errors

Author: forki

src/fsharp/FSComp.txt

@@ -1,2 +1,2 @@
 
-neg2h.fs(4,6,4,7): typecheck error FS0318: The type definitions in the signature and implementation are not compatible because the abbreviations differ: FSharp.HelloWorld.HelloWorldTypeWithStaticInt32Parameter<2> versus FSharp.HelloWorld.HelloWorldTypeWithStaticInt32Parameter<1>
+neg2h.fs(4,6,4,7): typecheck error FS0318: The type definitions for type 'A' in the signature and implementation are not compatible because the abbreviations differ: FSharp.HelloWorld.HelloWorldTypeWithStaticInt32Parameter<2> versus FSharp.HelloWorld.HelloWorldTypeWithStaticInt32Parameter<1>

src/fsharp/SignatureConformance.fs

@@ -1,5 +1,5 @@
 
-neg17.fs(84,17,84,33): typecheck error FS0292: The type definitions in the signature and implementation are not compatible because the accessibility specified in the signature is more than that specified in the implementation
+neg17.fs(84,17,84,33): typecheck error FS0292: The type definitions for type 'PrivateUnionType' in the signature and implementation are not compatible because the accessibility specified in the signature is more than that specified in the implementation
 
 neg17b.fs(7,17,7,31): typecheck error FS1094: The value 'privateValue' is not accessible from this code location
 

tests/fsharp/typeProviders/negTests/neg2h.bsl

@@ -1,2 +1,2 @@
 
-neg43.fs(11,6,11,8): typecheck error FS0294: The type definitions in the signature and implementation are not compatible because the implementation says this type may use nulls as a representation but the signature does not
+neg43.fs(11,6,11,8): typecheck error FS0294: The type definitions for type 'DU' in the signature and implementation are not compatible because the implementation says this type may use nulls as a representation but the signature does not

tests/fsharp/typecheck/sigs/neg17.bsl

@@ -1,4 +1,4 @@
 
-neg57.fs(4,6,4,9): typecheck error FS0314: The type definitions in the signature and implementation are not compatible because the field 'offset' was present in the implementation but not in the signature. Struct types must now reveal their fields in the signature for the type, though the fields may still be labelled 'private' or 'internal'.
+neg57.fs(4,6,4,9): typecheck error FS0314: The type definitions for type 'Foo' in the signature and implementation are not compatible because the field 'offset' was present in the implementation but not in the signature. Struct types must now reveal their fields in the signature for the type, though the fields may still be labelled 'private' or 'internal'.
 
 neg57.fs(1,8,1,9): typecheck error FS0193: Module 'M' requires a value 'new : unit -> Foo<'T>'

tests/fsharp/typecheck/sigs/neg43.bsl

@@ -1,5 +1,5 @@
 
-neg58.fs(5,6,5,9): typecheck error FS0314: The type definitions in the signature and implementation are not compatible because the field 'offset' was present in the implementation but not in the signature. Struct types must now reveal their fields in the signature for the type, though the fields may still be labelled 'private' or 'internal'.
+neg58.fs(5,6,5,9): typecheck error FS0314: The type definitions for type 'Foo' in the signature and implementation are not compatible because the field 'offset' was present in the implementation but not in the signature. Struct types must now reveal their fields in the signature for the type, though the fields may still be labelled 'private' or 'internal'.
 
 neg58.fs(9,17,9,30): typecheck error FS0034: Module 'FooBarSoftware' contains
     override Foo.GetEnumerator : unit -> IEnumerator<'T>    

tests/fsharp/typecheck/sigs/neg57.bsl

@@ -1,5 +1,5 @@
 // #Regression #Diagnostics 
-//<Expects status="error" span="(4,6-4,7)" id="FS0297">The type definitions in the signature and implementation are not compatible because the implementation type is not sealed but signature implies it is\. Consider adding the \[<Sealed>\] attribute to the implementation\.$</Expects>
+//<Expects status="error" span="(4,6-4,7)" id="FS0297">The type definitions for type 'T' in the signature and implementation are not compatible because the implementation type is not sealed but signature implies it is\. Consider adding the \[<Sealed>\] attribute to the implementation\.$</Expects>
 module M
 [<Sealed>]
 type T =