Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | val _ = 1234: Int8.int |
2 | val _ = 12345678: Int16.int | |
3 | val _ = 12345678901234567890: Int32.int | |
4 | val _ = 1234567890123456789012345678901234567890: Int64.int | |
5 | val _ = 0w1234: Word8.word | |
6 | val _ = 0w12345678: Word16.word | |
7 | val _ = 0w12345678901234567890: Word32.word | |
8 | val _ = 0w1234567890123456789012345678901234567890: Word64.word | |
9 | val _ = 1e999: Real32.real | |
10 | val _ = 1e999: Real64.real | |
11 | val _ = #"\uFFFF": Char.char | |
12 | val _ = "A\uFFFFB": String.string | |
13 | val _ = "A\uFFFFB\u9999C": String.string |