Có loại số nguyên không dấu nào sẽ cảnh báo về các chữ cái âm?

Question

Phiên bản gần đây của ghc sẽ cảnh báo bạn nếu một chữ số nguyên nằm ngoài phạm vi của một loại nhất định. Ví dụ:

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

Tuy nhiên, ghc sẽ không cảnh báo về literals số tiêu cực đối với Data.Word loại. Thay vào đó, nó underflows (cố ý, theo tài liệu):

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

Có bất kỳ loại mà sẽ cảnh báo về literals tiêu cực hoặc là có cách nào tôi có thể tạo kiểu tùy chỉnh của riêng tôi mà không cảnh báo?

Answer 1

Theo mặc định, một chữ như số -1 được chia nhỏ thành negate (fromInteger 1). Tuy nhiên, có một tiện ích mở rộng ngôn ngữ NegativeLiterals làm cho tiện ích mở rộng ngôn ngữ đó trở thành desugar là fromInteger (-1). Nếu bạn kích hoạt mà bạn làm nhận được một cảnh báo:

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> 

Ngoài ra, bạn có thể thực hiện kiểu của riêng bạn mà định nghĩa lại negate, nhưng sau đó bạn sẽ có lẽ chỉ nhận được một lỗi runtime.