Core.UnverifiableAttribute Class (F#)

This attribute is used to tag values whose use will result in the generation of unverifiable code. These values are inevitably marked inline to ensure that the unverifiable constructs are not present in the actual code for the F# library, but are rather copied to the source code of the caller.

Namespace/Module Path: Microsoft.FSharp.Core

Assembly: FSharp.Core (in FSharp.Core.dll)

[<AttributeUsage(192, AllowMultiple = false)>]
[<Sealed>]
type UnverifiableAttribute =
 class
  new UnverifiableAttribute : unit -> UnverifiableAttribute
 end

Remarks

You can also use the short form of the name, Unverifiable.

Constructors

Member

Description

new

Creates an instance of the attribute

Platforms

Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2

Version Information

F# Runtime

Supported in: 2.0, 4.0

Silverlight

Supported in: 3

See Also

Reference

Microsoft.FSharp.Core Namespace (F#)