Add FS-1012 (#74)

Co-authored-by: Edgar Gonzalez <egonzalez@totallymoney.com>

Author: roboz0r

spec/rfc-status.md

@@ -21,7 +21,7 @@
 | F# 4.1 | FS-1008 | [Struct Records](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1008-struct-records.md) | |
 | F# 4.1 | FS-1009 | [Mutually Referential Types and Modules in Single Scope](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1009-mutually-referential-types-and-modules-single-scope.md) | |
 | F# 4.1 | FS-1010 | [Add Map.count](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1010-add-map-count.md) | This specifies some details of the `FSharp.Core` library, which is not part of this spec (except for the basic items listed in [§18](https://fsharp.github.io/fslang-spec/the-f-library-fsharpcoredll/)) |
-| F# 4.1 | FS-1012 | [Caller Info Attributes](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1012-caller-info-attributes.md) | |
+| F# 4.1 | FS-1012 | [Caller Info Attributes](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1012-caller-info-attributes.md) | [completed](https://github.com/fsharp/fslang-spec/pull/74) |
 | F# 4.1 | FS-1013 | [Enable Reflection Functionality on Portable Profiles](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1013-enable-reflection-functionality-on-portable-profiles.md) | |
 | F# 4.1 | FS-1014 | [Struct Discriminated Unions](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1014-struct-discriminated-unions.md) | |
 | F# 4.1 | FS-1015 | [Support for fixed](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1015-support-for-fixed.md) | [completed](https://github.com/fsharp/fslang-spec/pull/65) |

spec/special-attributes-and-types.md

@@ -2,7 +2,7 @@
 
 This chapter describes attributes and types that have special significance to the F# compiler.
 
-## Custom Attributes Recognized by F#.
+## Custom Attributes Recognized by F\#
 
 The following custom attributes have special meanings recognized by the F# compiler. Except where
 indicated, the attributes may be used in F# code, in referenced assemblies authored in F#, or in
@@ -26,6 +26,9 @@ assemblies that are authored in other CLI languages.
 | System.Reflection.AssemblyProductAttribute <br> `[<AssemblyProduct(...)>]` | Attaches product name metadata to the compiled form of the assembly, such as the “ProductName” attribute in the Win32 version resource for the assembly. <br>This attribute may be used in both F# and imported assemblies. |
 | System.Reflection.AssemblyKeyFileAttribute <br> `[<AssemblyKeyFile(...)>]` | Indicates to the F# compiler how to sign an assembly. <br>This attribute may be used in both F# and imported assemblies. |
 | System.Reflection.DefaultMemberAttribute <br> `[<DefaultMember(...)>]` | When applied to a type, specifies the name of the indexer property for that type. <br>This attribute may be used in both F# and imported assemblies. |
+| System.Runtime.CompilerServices.CallerFilePathAttribute  `[<CallerFilePath>]` | A string optional argument with this attribute will be given a runtime value matching the absolute file path of source of the callsite. <br>This attribute may be used in both F# and imported assemblies. |
+| System.Runtime.CompilerServices.CallerLineNumberAttribute  `[<CallerLineNumber>]` | An integer optional argument with this attribute will be given a runtime value matching the line number of the source of the callsite. <br>This attribute may be used in both F# and imported assemblies. |
+| System.Runtime.CompilerServices.CallerMemberNameAttribute  `[<CallerMemberName>]` | A string optional argument with this attribute will be given a runtime value matching the unqualified name of the enclosing member of the callsite. <br>This attribute may be used in both F# and imported assemblies. |
 | System.Runtime.CompilerServices.InternalsVisibleToAttribute `[<InternalsVisibleTo(...)>]` | Directs the F# compiler to permit access to the internals of the assembly. <br>This attribute may be used in both F# and imported assemblies. |
 | System.Runtime.CompilerServices.TypeForwardedToAttribute `[<TypeForwardedTo(...)>]` | Indicates a type redirection. <br>This attribute may be used only in imported non-F# assemblies. It is not permitted in F# code. |
 | System.Runtime.CompilerServices.ExtensionAttribute <br> `[<Extension(...)>]` | Indicates the compiled form of a C# extension member. <br>This attribute may be used only in imported non-F# assemblies. It is not permitted in F# code. |
@@ -64,7 +67,7 @@ assemblies that are authored in other CLI languages.
 | FSharp.Core.TypeProviderXmlDocAttribute | Specifies documentation for provided type definitions and provided members |
 | FSharp.Core.TypeProviderDefinitionLocationAttribute | Specifies location information for provided type definitions and provided members |
 
-## Custom Attributes Emitted by F#.
+## Custom Attributes Emitted by F\#
 
 The F# compiler can emit the following custom attributes:
 
@@ -81,7 +84,7 @@ The F# compiler can emit the following custom attributes:
 | FSharp.Core.FSharpInterfaceDataVersionAttribute | Defines the schema number for the embedded binary resource for F#-specific interface and optimization data. |
 | FSharp.Core.OptionalArgumentAttribute | Indicates optional arguments to F# members. |
 
-## Custom Attributes not Recognized by F#.
+## Custom Attributes not Recognized by F\#
 
 The following custom attributes are defined in some CLI implementations and may appear to be
 relevant to F#. However, they either do not affect the behavior of the F# compiler, or result in an