FS0009: Lehetséges nem ellenőrizhető kód

Ez az üzenet a következő esetekben jelenik meg:

• egy attribútummal Unverifiable megjelölt függvényt használ,

let n: nativeptr<bool> = NativeInterop.NativePtr.stackalloc 1

• a fixed kifejezést használják, vagy

type R = { Address: int }

let useFixed (r: R) = 
    use f = fixed &r.Address
    ()

• LayoutKind.Explicit egy szerkezetdefinícióban StructLayoutAttribute van beállítva

open System.Runtime.InteropServices

[<Struct; StructLayout(LayoutKind.Explicit)>]
type EmptyStruct = 
    struct end

Minden ilyen esetben a fordító a következő üzenetet küldi el:

FS0009: Uses of this construct may result in the generation of unverifiable .NET IL code. This warning can be disabled using '--nowarn:9' or '#nowarn "9"'

Az üzenet kijavításához hozzáadhatja az irányelvet a #nowarn használatot tartalmazó forráskódfájlhoz, hozzáadhatja <NoWarn>9</NoWarn> a projektfájlhoz, vagy manuálisan hozzáadhatja --nowarn:9 az F#-fordító meghívásait. Vegye figyelembe, hogy az utolsó két mechanizmus letiltja a teljes projekt figyelmeztetését, míg az első mechanizmus csak egy fájl figyelmeztetését tiltja le.