हास्केल रिपोर्ट

Question

हास्केल 2010 रिपोर्ट की धारा 5.2 मॉड्यूल निर्यात सूचियों के साथ संबंधित एक अस्पष्ट कोने। एक बिंदु पर, यह says: एक निर्यात सूची में

संस्थाओं इस प्रकार के रूप में नामित किया जा सकता है:

1. मान, क्षेत्र का नाम, या वर्ग विधि, चाहे मॉड्यूल शरीर में घोषित या आयातित, हो सकता है qvarid के रूप में मान का नाम देकर नामित किया जाना चाहिए, जो दायरे में होना चाहिए। ऑपरेटर को qvarids में बदलने के लिए कोष्ठक में संलग्न किया जाना चाहिए।

...

लेकिन, उह ... मैं कुछ याद आ रही है? Chapter 10 में सिंटेक्स संदर्भ के अनुसार क्योंकि:

qvarid → [ monid। ] varid

varid → (छोटे {छोटे | बड़े | अंकों | '})

तो जिसमें ब्रह्मांड कोष्ठक में एक ऑपरेटर डाल करता है इसे चालू qvarid में? यह मुझे लगता है कि एक ऑपरेटर की तरह स्पष्ट रूप से varsym (या शायद qvarsym) है।

क्या कोई जानता है कि यहां क्या हो रहा है? मेरा मतलब है, स्पष्ट रूप से हास्केल निश्चित रूप से निर्यात सूची में लेखन ऑपरेटरों का समर्थन करता है, लेकिन रिपोर्ट में वाक्यविन्यास विवरण समझ में नहीं आता है ...

Answer 1

प्रतीक्षा करें, पकड़ो ... नियंत्रण-मुक्त के अनुसार सिंटेक्स अनुभाग 10.5 में दी गई:

निर्यात → qvar | qtycon ... | qtycls ... | moduleमोनिड

...

वर → varid | (varsym)

qvar → qvarid | (qvarsym)

तो ऐसा लगता है कि यह नहीं एक qvarid है, यह एक qvar माना जाता रहा है। तो यह सिर्फ एक टाइपो है, मुझे लगता है? क्या आधिकारिक रिपोर्ट में ऐसी चीजें तय करने की कोई प्रक्रिया है?