Bogus „Duplikat definicji wartości” błąd z F # kompilatora

Question

F # kompilator czasem odrzuca mój kod z błędem kompilacji formularza Duplicate definition of value foo wskazując na definicji takich jak to:

let foo = ref 0 

choć jest to nie jest to duplikat definicji, ponieważ nie ma innych definicji foo w całym pliku. Dlaczego to się dzieje?

Answer 1

Dzieje się tak, gdy również zdefiniować get_foo funkcję:

let get_foo() = !foo 

ponieważ definicja foo tworzy obiekt, który implementuje własną metodę get_foo więc jest zderzenie. Kompilator F # jest zdezorientowany przez to i generuje fałszywy "błąd definicji duplikatu".

Ten błąd został zgłoszony firmie Microsoft i pracują nad poprawką, ale nie przejdzie ona do kolejnej wersji (VS11) F #.