Dlaczego RequireQualifiedAccess nie działa, co prowadzi do błędu kompilacji, ale nie, jeśli używam open?

Question

Mam problem z RequireQualifiedAccess: pomimo atrybutu, sprawa związku jest shadowing typu. O dziwo, błąd pojawia się tylko wtedy, gdy używam wykwalifikowanym dostęp na module otaczającej, a nie wewnątrz niego lub jeśli otworzę go:

module Module = 
    type [<RequireQualifiedAccess>] Du = 
     | SomeCase 

    type [<RequireQualifiedAccess>] SuperDu = 
     | Du of Du 

    let valid = Du.SomeCase // Valid, as expected 

let invalid = Module.Du.SomeCase // Not defined?!? 

open Module 
let validToo = Du.SomeCase // Wait, this is valid again? 

W nieprawidłową linię, jest pierwszym ostrzeżeniem, że za pomocą .Du bez kwalifikowanego dostępu jest przestarzała, tak jakbym miał na myśli SuperDu.Du, to daje błąd, że SomeCase nie jest zdefiniowany.

Zawsze uważałem, że używanie open X jest równoznaczne z przedrostkiem X. dla wszystkich definicji pobranych z tego modułu. Ale to oczywiście nie jest ...?

Co się tutaj dzieje? Czy muszę unikać tego rodzaju kolizji nazwy, mimo że RequireQualifiedAccess? Czy jest to błąd kompilatora?

Answer 1

Jest to problem w kompilatorze F #, który został już zgłoszony. Aby uzyskać więcej informacji, patrz:

• [<RequireQualifiedAccess>] on a DU shadows types in the same module
• Type inference for a record/class behaves differently when module is open or not