2011-10-17 9 views
21

क्या हैकेल-मोड या कुछ वैकल्पिक पैकेज अद्भुत inferior-haskell-typewhere खंड के अंदर कुछ प्रदान करते हैं?'कहां' खंड के अंदर 'अवरक्त-हैकेल-प्रकार'?

उदाहरण के लिए, मैं

foo = undefined where 
    bar = complicated 
    ... 

है यह bar पर मार्कर जगह है और अपनी तरह का निरीक्षण करने में सक्षम होने की सुपर भयानक होगा लगता है।

+0

मुझे लगता है कि इस तरह के काम करने के लिए कुछ ऐसा लगता है, Emacs को खंड से सब कुछ लेना होगा और एक अस्थायी मॉड्यूल (मूल मॉड्यूल आयात करना) बनाना होगा, और फिर इसे लोड करना होगा। – gspr

+2

आईआईआरसी यह एमएक्स के साथ संयोजन में पहले स्कियन संस्करणों के साथ संभव था। (प्रलेखन से उद्धरण: 'सी-सी सी-टी' बिंदु पर पहचानकर्ता का प्रकार दिखाता है। यह केवल तभी काम करता है जब वर्तमान फ़ाइल टाइपशेक हो, लेकिन फिर यह स्थानीय पहचानकर्ताओं के लिए भी काम करता है।) – hvr

+0

@hvr: दिलचस्प। धन्यवाद। – gspr

उत्तर

4

यह Emacs के संयोजन में Scion के साथ संभव है।

C-c C-t बिंदु पर पहचानकर्ता प्रकार दिखाता है। यह केवल तभी काम करता है जब वर्तमान फ़ाइल टाइपकेक, लेकिन फिर यह स्थानीय पहचानकर्ताओं के लिए भी काम करता है। बहुरूपी समारोह के लिए यह प्रकार दिखाई देगा जो वे instantiated कर रहे हैं, उदाहरण के लिए,

f x = x + (1::Int) 

+ पर इस आदेश कॉलिंग Int -> Int -> Int बजाय Num a => a -> a -> a प्रिंट होगा।

संबंधित मुद्दे