F # -Compiler erfordert Projektverweis, aber Methode ist privat

Question

Der F # -Compiler gibt einen Fehler, der besagt, dass ich einen Projektverweis hinzufügen muss, da der Typ, den ich verwende, ein Methodenargument hat, das in diesem Projekt lebt. Aber diese Methode ist privat!

Ich habe die folgende Projektstruktur:

Programm -> Bibliothek -> Unterbibliothek

Subbibliothek enthält diese:

namespace SubLibrary 

type Widget = { Value: int } 

Bibliothek enthält diese:

namespace Library 

open SubLibrary 

type Banana = 
    { Value: int } 

    member private x.TakeWidget (w: Widget) =() 

Programm enthält diese:

open Library 

[<EntryPoint>] 
let main argv = 
    printfn "%A" argv 

    let banana = { Value = 42 } 
    0 

ich diesen Fehler:

error FS0074: 
The type referenced through 'SubLibrary.Widget' is defined in an assembly that is not referenced. 
You must add a reference to assembly 'SubLibrary' 

Aber die TakeWidget Methode ist privaten!

Ich versuchte Banana in eine Klasse zu ändern, anstatt eine Aufzeichnung, aber das machte keinen Unterschied.

Als Experiment habe ich eine C# Version von Bibliothek, genannt CLibrary:

using SubLibrary; 

namespace CLibrary { 
    public class CBanana { 
     int m_value; 

     public CBanana(int value) { 
      m_value = value; 
     } 

     private void TakeWidget(Widget w) { 
     } 
    } 
} 

DannProgramm I geändert CBanana zu verwenden, anstatt Banana:

open Library 

[<EntryPoint>] 
let main argv = 
    printfn "%A" argv 

    let banana = CBanana 42 
    0 

Jetzt bekomme ich keinen Fehler. Tatsächlich kann ich mit C# diese Methode öffentlich machen, und solange ich nicht versuche, einen Aufruf zu kompilieren, gibt es keinen Fehler.

Warum besteht der Compiler darauf, dass ich einen Verweis auf SubLibrary hinzufüge? Sicher, ich könnte einfach weitermachen und tun, was es mir sagt, für ein ruhiges Leben, aber SubLibrary ist ein privates Implementierungsdetail von Bibliothek, die nicht Programm ausgesetzt werden sollte.

Answer 1

Eigentlich, wenn ich mit einer Klasse statt Rekord versucht, tat es den Trick (F # 3.1):

type BananaClass (value:int) = 
    member private x.TakeWidget (w: Widget) =() 
    member x.Value = value 

Sie können auch mit einem Rekord um es arbeiten - Sie das private Element bewegen müssen in einem separaten Modul und haben es als eine Art Augmentation:

type Banana = { Value: int } 

module Ext = 
    type Banana with 
     member x.TakeWidget (w: Widget) =() 

Compiler nicht über die fehlende Abhängigkeit beschweren, bis Sie das Ext Modul öffnen.

Ich habe keine gute Idee, warum der Compiler in erster Linie beschwerte. Wahrscheinlich eine seiner Eigenheiten. Ich konnte im generierten IL nichts Verdächtiges finden (abgesehen von der überraschenden Tatsache, dass der F # -Compiler sowohl private als auch interne Mitglieder als intern in der IL markiert - dies erwies sich hier als nicht wichtig).

Answer 2

In der Tat sieht das für mich wie ein Fehler Ich habe hier ein Problem angesprochen, https://github.com/Microsoft/visualfsharp/issues/86. So können Sie Feedback von dort aus verfolgen.