test-suite/output/Int31Syntax.out


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

I31
     : digits31 int31
2
     : int31
660865024
     : int31
2 + 2
     : int31
2 + 2
     : int31
     = 4
     : int31
     = 710436486
     : int31
The command has indeed failed with message:
Cannot interpret this number as a value of type int31