क्या कोई हस्ताक्षरित पूर्णांक प्रकार है जो नकारात्मक अक्षर के बारे में चेतावनी देगा?

Question

ghc के हाल के संस्करण आपको चेतावनी देंगे कि एक पूर्णांक अक्षर किसी दिए गए प्रकार की सीमा के बाहर है या नहीं। उदाहरण के लिए:

$ ghci 
>>> let x = 330492039485 :: Data.Word.Word8 
<interactive>:2:9: Warning: 
    Literal 330492039485 is out of the GHC.Word.Word8 range 0..255 

हालांकि, ghcData.Word प्रकार के लिए नकारात्मक सांख्यिक शाब्दिक के बारे में चेतावनी नहीं होंगे। इसके बजाय, यह underflows (जानबूझकर, प्रलेखन के अनुसार):

>>> let x = -1 :: Data.Word.Word8 
>>> x 
255 

वहाँ किसी भी प्रकार है कि नकारात्मक शाब्दिक के बारे में चेतावनी या वहाँ एक रास्ता मैं चेतावनी दी है कि मेरी स्वयं के कस्टम प्रकार बना सकते हैं होगा रहे हैं?

Answer 1

डिफ़ॉल्ट रूप से, -1 जैसे शाब्दिक negate (fromInteger 1) से वंचित है। हालांकि एक भाषा विस्तार NegativeLiterals है जो इसके बजाय fromInteger (-1) के रूप में desugar का कारण बनता है। के लिए सक्षम है कि आप एक चेतावनी मिलती है हैं: वैकल्पिक रूप से

Prelude> :m +Data.Word 
Prelude Data.Word> :set -W 
Prelude Data.Word> :set -XNegativeLiterals 
Prelude Data.Word> -1 :: Word 

<interactive>:74:1: Warning: 
    Literal -1 is out of the Word range 0..18446744073709551615 
18446744073709551615 
Prelude Data.Word> 

, आप अपने खुद के प्रकार है कि negate नए सिरे से परिभाषित कर सकता है, लेकिन फिर आप शायद ही एक रनटाइम त्रुटि मिलेगा।