Skip to content
Snippets Groups Projects
Commit 51274a43 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Make the Integer type components strict

parent a4ffee06
No related merge requests found
......@@ -50,7 +50,7 @@ errorInteger = Positive errorPositive
errorPositive :: Positive
errorPositive = Some 47## None -- Random number
data Integer = Positive Positive | Negative Positive | Naught
data Integer = Positive !Positive | Negative !Positive | Naught
smallInteger :: Int# -> Integer
smallInteger i = if i >=# 0# then wordToInteger (int2Word# i)
......@@ -380,7 +380,7 @@ hashInteger _ = 42#
type Positive = Digits
type Positives = List Positive
data Digits = Some Digit Digits
data Digits = Some !Digit !Digits
| None
type Digit = Word#
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment