Share via

Core.UnverifiableAttribute Class (F#)

  • Article

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(AttributeTargets.Method ||| AttributeTargets.Property, 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 8, Windows 7, Windows Server 2012, Windows Server 2008 R2

Version Information

F# Core Library Versions

Supported in: 2.0, 4.0, Portable

See Also

Reference

Microsoft.FSharp.Core Namespace (F#)