RTMLton/large-chunk.sml at conc-stacklets · UBMLtonGroup/RTMLton · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
datatype MyChunk = MyChunk of {
    field1 : int
  , field2 : int
  , field3 : int
  , field4 : int
  , field5 : int
  , field6 : int
  , field7 : int
  , field8 : int
  , fieldi1 : int
  , fieldi2 : int
  , fieldi3 : int
  , fieldi4 : int
  , fieldi5 : int
  , fieldi6 : int
  , fieldi7 : int
  , fieldi8 : int
  , fieldj8 : int
  , fieldk8 : int
  , fieldl8 : int
}


fun print_chunk() =
  let
    val pt = fn i => ((print o Int.toString) i;
                      print "\n")
    val c = MyChunk {
        field1 = 2147483647
      , field2 = 2147483647
      , field3 = 2147483647
      , field4 = 2147483647
      , field5 = 2147483647
      , field6 = 2147483647
      , field7 = 2147483647
      , field8 = 2147483647
      , fieldi1 = 2147483647
      , fieldi2 = 2147483647
      , fieldi3 = 2147483647
      , fieldi4 = 2147483647
      , fieldi5 = 2147483647
      , fieldi6 = 2147483647
      , fieldi7 = 2147483647
      , fieldi8 = 2147483647
      , fieldj8 = 2147483647
      , fieldk8 = 2147483647
      , fieldl8 = 2147483647
    }

    val d = MyChunk {
        field1 = 2147483646
      , field2 = 2147483645
      , field3 = 2147483644
      , field4 = 2147483641
      , field5 = 2147483642
      , field6 = 2147483643
      , field7 = 2147483644
      , field8 = 2147483645
      , fieldi1 = 2147483646
      , fieldi2 = 2147483642
      , fieldi3 = 2147483641
      , fieldi4 = 2147483633
      , fieldi5 = 2147483641
      , fieldi6 = 2147483643
      , fieldi7 = 2147483642
      , fieldi8 = 2147483632
      , fieldj8 = 2147483632
      , fieldk8 = 2147483632
      , fieldl8 = 2147483632
    }
    val MyChunk {
        field1
      , field2
      , field3
      , field4
      , field5
      , field6
      , field7
      , field8
      , fieldi1
      , fieldi2
      , fieldi3
      , fieldi4
      , fieldi5
      , fieldi6
      , fieldi7
      , fieldi8
      , fieldj8
      , fieldk8
      , fieldl8  } = d
  in (
      pt  field1;
      pt  field2;
      pt  field3;
      pt  field4;
      pt  field5;
      pt  field6;
      pt  field7;
      pt  field8;
      pt  fieldi1;
      pt  fieldi2;
      pt  fieldi3;
      pt  fieldi4;
      pt  fieldi5;
      pt  fieldi6;
      pt  fieldi7;
      pt  fieldi8;
      pt  fieldj8;
      pt  fieldk8;
      pt  fieldl8
      )
  end

val () = print_chunk ()