सुपरो (हास्केल सुपरकंपेलर) उपयोग?

Question

मैं इस परियोजना को देख रहा हूं http://community.haskell.org/~ndm/supero/

मैंने प्रोग्राम डाउनलोड और संकलित किया है, और इसे शामिल नमूने पर उपयोग कर सकता है। लेकिन मैंने इसे अपने स्रोत कोड पर आज़माया और ऐसा लगता है कि कार्यक्रम केवल हास्केल के उप-समूह को समझता है।

supercompiler: बिना क्रिया के fromDecl: PatBind (SrcLoc {srcFilename = "unknown.hs", srcLine = 15, srcColumn = 1}) (PTuple [PVar (अध्यक्ष

मैं कुछ इस तरह मिल गया "चौड़ाई"), PVar (अध्यक्ष "ऊंचाई")]) कुछ भी नहीं (UnGuardedRhs (टपल [लिट (इंट 7), लिट (इंट 6)])) (BDecls [])

कोड उपलब्ध है यहाँ https://github.com/phuc/Score4-haskell/blob/master/Main.hs

सुपरो समझने वाले हास्केल के प्रकार को आउटपुट करने के लिए मैं जीएचसी कैसे प्राप्त करूं?

बहुत बहुत धन्यवाद। , और फिर, अंत में, विश्लेषण किया जा सकता है -

Answer 1

स्लाइड here सुझाव देने के लिए यह Yhc के माध्यम से पहली बार चलाने, तो एक मध्यवर्ती फार्म हिल (स्लाइड देखने के पहले आदेश हास्केल मध्यवर्ती लिटिल भाषा ) के रूप में तब्दील है कि लगता है।

एक और स्लाइड शो इस चित्र प्रदान करता है:

Answer 2

मैं यह समझ के रूप में, Supero के वर्तमान संस्करण केवल हास्केल के एक सबसेट ICFP 2010 पत्र में वर्णित संभालती है।

पिछले संस्करण YHC पाइप लाइन के साथ एकीकृत किया और एक बड़ा सबसेट संभाल सकता था। यह काफी समय पहले था और वाईएचसी का संकलन सुंदर आत्मा को नष्ट कर रहा है। मैं इसकी सिफारिश नहीं करता।

Max Bolingbroke वर्तमान में GHC में अपने ही supercompiler को एकीकृत किया गया है। हालांकि, मैं अपने GitHub भंडार पर कोड नहीं देख सकता, इसलिए यह अभी तक सार्वजनिक खपत के लिए तैयार नहीं हो सकता है।