क्यों 'कोड पर्याप्त सामान्य नहीं है'?

Question

क्या कोई बता सकता है कि नीचे दूसरा उदाहरण संकलित क्यों नहीं होगा?

'टेस्ट 2' देता है "त्रुटि FS0670: इस कोड को पर्याप्त रूप से सामान्य नहीं है प्रकार चर^एक है क्योंकि यह अपने दायरे से बच जाएगा सामान्यीकृत नहीं जा सका।।"। मैं इस त्रुटि संदेश को समझने में असफल रहा।

// Test 1 
type test1<'a> = | A of 'a 
    with 
    override t.ToString() = 
     match t with 
     | A a -> a.ToString() 

// Test 2 
type test2<'a> = | A of 'a 
    with 
    override t.ToString() = 
     match t with 
     | A a -> string a 

// Test 3 
type test3<'a> = | A of 'a 
    with 
    override t.ToString() = 
     match t with 
     | A a -> string (a :> obj) 

Answer 1

यहाँ एक और रेप्रो है:

let inline f< ^T>(x:^T) = box x 

type test4<'a> = | A of 'a 
    with 
    member t.M() = 
     match t with 
     | A a -> f a 

string एक इनलाइन समारोह स्थिर प्रकार की कमी का उपयोग करता है, और इस तरह के कार्यों के लिए त्रुटि निदान कभी कभी गरीब हैं। मैं वास्तव में नैदानिक ​​संदेश ही समझ में नहीं आता है, लेकिन बिंदु, कॉल स्थल पर, हम सामान्य प्रकार 'a, जिसका अर्थ है कि हम में string (या f करने के लिए कॉल का सही संस्करण अनुरूप नहीं कर सकते हैं पता नहीं है है मेरा repro)। उदाहरण में इस मामले में जहां आप Upcast obj करने के लिए, हम जानते हैं कि हम string की obj संस्करण इनलाइन करना चाहते हैं, तो यह है कि ठीक है।

Answer 2

मैं कल्पना क्योंकि तार का (obj -> स्ट्रिंग) एक हस्ताक्षर है यह तो अपने आप ही स्ट्रिंग का उपयोग प्रकार obj के होने के लिए एक मजबूर कर रहा है। (एफ # अंतर्निहित डाले क्या करता है नहीं।)