Skip to content

Commit 736ed59

Browse files
howardpen9howardpen9
authored
Merge pull request #27 from tact-lang/fix-shr-shl
Fix comments for shl/shr
2 parents 770837d + c75ac50 commit 736ed59

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

60 files changed

+699
-348
lines changed

‎docs/00-hello-world.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -34,11 +34,11 @@
3434
<meta http-equiv="content-security-policy" content="">
3535
<link href="./_app/immutable/assets/_layout.e2caa7e1.css" rel="stylesheet">
3636
<link href="./_app/immutable/assets/app.8bddbbc4.css" rel="stylesheet">
37-
<link rel="modulepreload" href="./_app/immutable/entry/start.31b0bf06.js">
37+
<link rel="modulepreload" href="./_app/immutable/entry/start.020e0bf7.js">
3838
<link rel="modulepreload" href="./_app/immutable/chunks/index.9fe14626.js">
39-
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.4a86d88e.js">
39+
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.2bc0b691.js">
4040
<link rel="modulepreload" href="./_app/immutable/chunks/index.1c761ed5.js">
41-
<link rel="modulepreload" href="./_app/immutable/entry/app.8558dfc5.js">
41+
<link rel="modulepreload" href="./_app/immutable/entry/app.20c549d8.js">
4242
<link rel="modulepreload" href="./_app/immutable/entry/layout.svelte.2cd9eabd.js">
4343
<link rel="modulepreload" href="./_app/immutable/entry/_layout.ts.984db11e.js">
4444
<link rel="modulepreload" href="./_app/immutable/chunks/_layout.da46b06b.js">
@@ -100,7 +100,7 @@
100100

101101
<script>
102102
{
103-
__sveltekit_wfqjrz = {
103+
__sveltekit_4096ut = {
104104
env: {},
105105
base: new URL(".", location).pathname.slice(0, -1),
106106
element: document.currentScript.parentElement
@@ -109,10 +109,10 @@
109109
const data = [null,null,null];
110110

111111
Promise.all([
112-
import("./_app/immutable/entry/start.31b0bf06.js"),
113-
import("./_app/immutable/entry/app.8558dfc5.js")
112+
import("./_app/immutable/entry/start.020e0bf7.js"),
113+
import("./_app/immutable/entry/app.20c549d8.js")
114114
]).then(([kit, app]) => {
115-
kit.start(app, __sveltekit_wfqjrz.element, {
115+
kit.start(app, __sveltekit_4096ut.element, {
116116
node_ids: [0, 2, 5],
117117
data,
118118
form: null,

‎docs/01-a-simple-counter.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -34,11 +34,11 @@
3434
<meta http-equiv="content-security-policy" content="">
3535
<link href="./_app/immutable/assets/_layout.e2caa7e1.css" rel="stylesheet">
3636
<link href="./_app/immutable/assets/app.8bddbbc4.css" rel="stylesheet">
37-
<link rel="modulepreload" href="./_app/immutable/entry/start.31b0bf06.js">
37+
<link rel="modulepreload" href="./_app/immutable/entry/start.020e0bf7.js">
3838
<link rel="modulepreload" href="./_app/immutable/chunks/index.9fe14626.js">
39-
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.4a86d88e.js">
39+
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.2bc0b691.js">
4040
<link rel="modulepreload" href="./_app/immutable/chunks/index.1c761ed5.js">
41-
<link rel="modulepreload" href="./_app/immutable/entry/app.8558dfc5.js">
41+
<link rel="modulepreload" href="./_app/immutable/entry/app.20c549d8.js">
4242
<link rel="modulepreload" href="./_app/immutable/entry/layout.svelte.2cd9eabd.js">
4343
<link rel="modulepreload" href="./_app/immutable/entry/_layout.ts.984db11e.js">
4444
<link rel="modulepreload" href="./_app/immutable/chunks/_layout.da46b06b.js">
@@ -128,7 +128,7 @@ <h2 id="a-simple-interaction">A simple interaction</h2>
128128

129129
<script>
130130
{
131-
__sveltekit_wfqjrz = {
131+
__sveltekit_4096ut = {
132132
env: {},
133133
base: new URL(".", location).pathname.slice(0, -1),
134134
element: document.currentScript.parentElement
@@ -137,10 +137,10 @@ <h2 id="a-simple-interaction">A simple interaction</h2>
137137
const data = [null,null,null];
138138

139139
Promise.all([
140-
import("./_app/immutable/entry/start.31b0bf06.js"),
141-
import("./_app/immutable/entry/app.8558dfc5.js")
140+
import("./_app/immutable/entry/start.020e0bf7.js"),
141+
import("./_app/immutable/entry/app.20c549d8.js")
142142
]).then(([kit, app]) => {
143-
kit.start(app, __sveltekit_wfqjrz.element, {
143+
kit.start(app, __sveltekit_4096ut.element, {
144144
node_ids: [0, 2, 6],
145145
data,
146146
form: null,

‎docs/01-the-deployable-trait.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -34,11 +34,11 @@
3434
<meta http-equiv="content-security-policy" content="">
3535
<link href="./_app/immutable/assets/_layout.e2caa7e1.css" rel="stylesheet">
3636
<link href="./_app/immutable/assets/app.8bddbbc4.css" rel="stylesheet">
37-
<link rel="modulepreload" href="./_app/immutable/entry/start.31b0bf06.js">
37+
<link rel="modulepreload" href="./_app/immutable/entry/start.020e0bf7.js">
3838
<link rel="modulepreload" href="./_app/immutable/chunks/index.9fe14626.js">
39-
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.4a86d88e.js">
39+
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.2bc0b691.js">
4040
<link rel="modulepreload" href="./_app/immutable/chunks/index.1c761ed5.js">
41-
<link rel="modulepreload" href="./_app/immutable/entry/app.8558dfc5.js">
41+
<link rel="modulepreload" href="./_app/immutable/entry/app.20c549d8.js">
4242
<link rel="modulepreload" href="./_app/immutable/entry/layout.svelte.2cd9eabd.js">
4343
<link rel="modulepreload" href="./_app/immutable/entry/_layout.ts.984db11e.js">
4444
<link rel="modulepreload" href="./_app/immutable/chunks/_layout.da46b06b.js">
@@ -139,7 +139,7 @@ <h2 id="receiving-messages">Receiving messages</h2>
139139

140140
<script>
141141
{
142-
__sveltekit_wfqjrz = {
142+
__sveltekit_4096ut = {
143143
env: {},
144144
base: new URL(".", location).pathname.slice(0, -1),
145145
element: document.currentScript.parentElement
@@ -148,10 +148,10 @@ <h2 id="receiving-messages">Receiving messages</h2>
148148
const data = [null,null,null];
149149

150150
Promise.all([
151-
import("./_app/immutable/entry/start.31b0bf06.js"),
152-
import("./_app/immutable/entry/app.8558dfc5.js")
151+
import("./_app/immutable/entry/start.020e0bf7.js"),
152+
import("./_app/immutable/entry/app.20c549d8.js")
153153
]).then(([kit, app]) => {
154-
kit.start(app, __sveltekit_wfqjrz.element, {
154+
kit.start(app, __sveltekit_4096ut.element, {
155155
node_ids: [0, 2, 7],
156156
data,
157157
form: null,

‎docs/02-addresses.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -34,11 +34,11 @@
3434
<meta http-equiv="content-security-policy" content="">
3535
<link href="./_app/immutable/assets/_layout.e2caa7e1.css" rel="stylesheet">
3636
<link href="./_app/immutable/assets/app.8bddbbc4.css" rel="stylesheet">
37-
<link rel="modulepreload" href="./_app/immutable/entry/start.31b0bf06.js">
37+
<link rel="modulepreload" href="./_app/immutable/entry/start.020e0bf7.js">
3838
<link rel="modulepreload" href="./_app/immutable/chunks/index.9fe14626.js">
39-
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.4a86d88e.js">
39+
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.2bc0b691.js">
4040
<link rel="modulepreload" href="./_app/immutable/chunks/index.1c761ed5.js">
41-
<link rel="modulepreload" href="./_app/immutable/entry/app.8558dfc5.js">
41+
<link rel="modulepreload" href="./_app/immutable/entry/app.20c549d8.js">
4242
<link rel="modulepreload" href="./_app/immutable/entry/layout.svelte.2cd9eabd.js">
4343
<link rel="modulepreload" href="./_app/immutable/entry/_layout.ts.984db11e.js">
4444
<link rel="modulepreload" href="./_app/immutable/chunks/_layout.da46b06b.js">
@@ -164,7 +164,7 @@
164164

165165
<script>
166166
{
167-
__sveltekit_wfqjrz = {
167+
__sveltekit_4096ut = {
168168
env: {},
169169
base: new URL(".", location).pathname.slice(0, -1),
170170
element: document.currentScript.parentElement
@@ -173,10 +173,10 @@
173173
const data = [null,null,null];
174174

175175
Promise.all([
176-
import("./_app/immutable/entry/start.31b0bf06.js"),
177-
import("./_app/immutable/entry/app.8558dfc5.js")
176+
import("./_app/immutable/entry/start.020e0bf7.js"),
177+
import("./_app/immutable/entry/app.20c549d8.js")
178178
]).then(([kit, app]) => {
179-
kit.start(app, __sveltekit_wfqjrz.element, {
179+
kit.start(app, __sveltekit_4096ut.element, {
180180
node_ids: [0, 2, 8],
181181
data,
182182
form: null,

‎docs/02-bools.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -34,11 +34,11 @@
3434
<meta http-equiv="content-security-policy" content="">
3535
<link href="./_app/immutable/assets/_layout.e2caa7e1.css" rel="stylesheet">
3636
<link href="./_app/immutable/assets/app.8bddbbc4.css" rel="stylesheet">
37-
<link rel="modulepreload" href="./_app/immutable/entry/start.31b0bf06.js">
37+
<link rel="modulepreload" href="./_app/immutable/entry/start.020e0bf7.js">
3838
<link rel="modulepreload" href="./_app/immutable/chunks/index.9fe14626.js">
39-
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.4a86d88e.js">
39+
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.2bc0b691.js">
4040
<link rel="modulepreload" href="./_app/immutable/chunks/index.1c761ed5.js">
41-
<link rel="modulepreload" href="./_app/immutable/entry/app.8558dfc5.js">
41+
<link rel="modulepreload" href="./_app/immutable/entry/app.20c549d8.js">
4242
<link rel="modulepreload" href="./_app/immutable/entry/layout.svelte.2cd9eabd.js">
4343
<link rel="modulepreload" href="./_app/immutable/entry/_layout.ts.984db11e.js">
4444
<link rel="modulepreload" href="./_app/immutable/chunks/_layout.da46b06b.js">
@@ -161,7 +161,7 @@ <h2 id="state-costs">State costs</h2>
161161

162162
<script>
163163
{
164-
__sveltekit_wfqjrz = {
164+
__sveltekit_4096ut = {
165165
env: {},
166166
base: new URL(".", location).pathname.slice(0, -1),
167167
element: document.currentScript.parentElement
@@ -170,10 +170,10 @@ <h2 id="state-costs">State costs</h2>
170170
const data = [null,null,null];
171171

172172
Promise.all([
173-
import("./_app/immutable/entry/start.31b0bf06.js"),
174-
import("./_app/immutable/entry/app.8558dfc5.js")
173+
import("./_app/immutable/entry/start.020e0bf7.js"),
174+
import("./_app/immutable/entry/app.20c549d8.js")
175175
]).then(([kit, app]) => {
176-
kit.start(app, __sveltekit_wfqjrz.element, {
176+
kit.start(app, __sveltekit_4096ut.element, {
177177
node_ids: [0, 2, 9],
178178
data,
179179
form: null,

‎docs/02-constants.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -34,11 +34,11 @@
3434
<meta http-equiv="content-security-policy" content="">
3535
<link href="./_app/immutable/assets/_layout.e2caa7e1.css" rel="stylesheet">
3636
<link href="./_app/immutable/assets/app.8bddbbc4.css" rel="stylesheet">
37-
<link rel="modulepreload" href="./_app/immutable/entry/start.31b0bf06.js">
37+
<link rel="modulepreload" href="./_app/immutable/entry/start.020e0bf7.js">
3838
<link rel="modulepreload" href="./_app/immutable/chunks/index.9fe14626.js">
39-
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.4a86d88e.js">
39+
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.2bc0b691.js">
4040
<link rel="modulepreload" href="./_app/immutable/chunks/index.1c761ed5.js">
41-
<link rel="modulepreload" href="./_app/immutable/entry/app.8558dfc5.js">
41+
<link rel="modulepreload" href="./_app/immutable/entry/app.20c549d8.js">
4242
<link rel="modulepreload" href="./_app/immutable/entry/layout.svelte.2cd9eabd.js">
4343
<link rel="modulepreload" href="./_app/immutable/entry/_layout.ts.984db11e.js">
4444
<link rel="modulepreload" href="./_app/immutable/chunks/_layout.da46b06b.js">
@@ -143,7 +143,7 @@ <h2 id="state-costs">State costs</h2>
143143

144144
<script>
145145
{
146-
__sveltekit_wfqjrz = {
146+
__sveltekit_4096ut = {
147147
env: {},
148148
base: new URL(".", location).pathname.slice(0, -1),
149149
element: document.currentScript.parentElement
@@ -152,10 +152,10 @@ <h2 id="state-costs">State costs</h2>
152152
const data = [null,null,null];
153153

154154
Promise.all([
155-
import("./_app/immutable/entry/start.31b0bf06.js"),
156-
import("./_app/immutable/entry/app.8558dfc5.js")
155+
import("./_app/immutable/entry/start.020e0bf7.js"),
156+
import("./_app/immutable/entry/app.20c549d8.js")
157157
]).then(([kit, app]) => {
158-
kit.start(app, __sveltekit_wfqjrz.element, {
158+
kit.start(app, __sveltekit_4096ut.element, {
159159
node_ids: [0, 2, 10],
160160
data,
161161
form: null,

‎docs/02-integer-ops.html‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -34,19 +34,19 @@
3434
<meta http-equiv="content-security-policy" content="">
3535
<link href="./_app/immutable/assets/_layout.e2caa7e1.css" rel="stylesheet">
3636
<link href="./_app/immutable/assets/app.8bddbbc4.css" rel="stylesheet">
37-
<link rel="modulepreload" href="./_app/immutable/entry/start.31b0bf06.js">
37+
<link rel="modulepreload" href="./_app/immutable/entry/start.020e0bf7.js">
3838
<link rel="modulepreload" href="./_app/immutable/chunks/index.9fe14626.js">
39-
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.4a86d88e.js">
39+
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.2bc0b691.js">
4040
<link rel="modulepreload" href="./_app/immutable/chunks/index.1c761ed5.js">
41-
<link rel="modulepreload" href="./_app/immutable/entry/app.8558dfc5.js">
41+
<link rel="modulepreload" href="./_app/immutable/entry/app.20c549d8.js">
4242
<link rel="modulepreload" href="./_app/immutable/entry/layout.svelte.2cd9eabd.js">
4343
<link rel="modulepreload" href="./_app/immutable/entry/_layout.ts.984db11e.js">
4444
<link rel="modulepreload" href="./_app/immutable/chunks/_layout.da46b06b.js">
4545
<link rel="modulepreload" href="./_app/immutable/entry/(examples)-layout.svelte.4abe3603.js">
4646
<link rel="modulepreload" href="./_app/immutable/chunks/store.476c3091.js">
4747
<link rel="modulepreload" href="./_app/immutable/chunks/examples.ec427188.js">
4848
<link rel="modulepreload" href="./_app/immutable/chunks/app.cf8f4105.js">
49-
<link rel="modulepreload" href="./_app/immutable/entry/(examples)-02-integer-ops-page.svelte.71d720f9.js">
49+
<link rel="modulepreload" href="./_app/immutable/entry/(examples)-02-integer-ops-page.svelte.3a5c1355.js">
5050
<link rel="modulepreload" href="./_app/immutable/chunks/index.c056099e.js">
5151
</head>
5252
<body>
@@ -97,10 +97,10 @@
9797
i = self.i1 / 1000; // integer division (truncation toward zero), 3001 / 1000 = 3
9898
dump(i);
9999

100-
i = self.i1 >> 3; // shift right (multiply by 2^n)
100+
i = self.i1 >> 3; // shift right (divide by 2^n)
101101
dump(i);
102102

103-
i = self.i1 << 2; // shift left (divide by 2^n)
103+
i = self.i1 << 2; // shift left (multiply by 2^n)
104104
dump(i);
105105

106106
i = min(self.i2, 11); // minimum between two numbers
@@ -150,7 +150,7 @@
150150

151151
<script>
152152
{
153-
__sveltekit_wfqjrz = {
153+
__sveltekit_4096ut = {
154154
env: {},
155155
base: new URL(".", location).pathname.slice(0, -1),
156156
element: document.currentScript.parentElement
@@ -159,10 +159,10 @@
159159
const data = [null,null,null];
160160

161161
Promise.all([
162-
import("./_app/immutable/entry/start.31b0bf06.js"),
163-
import("./_app/immutable/entry/app.8558dfc5.js")
162+
import("./_app/immutable/entry/start.020e0bf7.js"),
163+
import("./_app/immutable/entry/app.20c549d8.js")
164164
]).then(([kit, app]) => {
165-
kit.start(app, __sveltekit_wfqjrz.element, {
165+
kit.start(app, __sveltekit_4096ut.element, {
166166
node_ids: [0, 2, 11],
167167
data,
168168
form: null,

‎docs/02-integers.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -34,11 +34,11 @@
3434
<meta http-equiv="content-security-policy" content="">
3535
<link href="./_app/immutable/assets/_layout.e2caa7e1.css" rel="stylesheet">
3636
<link href="./_app/immutable/assets/app.8bddbbc4.css" rel="stylesheet">
37-
<link rel="modulepreload" href="./_app/immutable/entry/start.31b0bf06.js">
37+
<link rel="modulepreload" href="./_app/immutable/entry/start.020e0bf7.js">
3838
<link rel="modulepreload" href="./_app/immutable/chunks/index.9fe14626.js">
39-
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.4a86d88e.js">
39+
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.2bc0b691.js">
4040
<link rel="modulepreload" href="./_app/immutable/chunks/index.1c761ed5.js">
41-
<link rel="modulepreload" href="./_app/immutable/entry/app.8558dfc5.js">
41+
<link rel="modulepreload" href="./_app/immutable/entry/app.20c549d8.js">
4242
<link rel="modulepreload" href="./_app/immutable/entry/layout.svelte.2cd9eabd.js">
4343
<link rel="modulepreload" href="./_app/immutable/entry/_layout.ts.984db11e.js">
4444
<link rel="modulepreload" href="./_app/immutable/chunks/_layout.da46b06b.js">
@@ -152,7 +152,7 @@ <h2 id="decimal-point-with-integers">Decimal Point with Integers</h2>
152152

153153
<script>
154154
{
155-
__sveltekit_wfqjrz = {
155+
__sveltekit_4096ut = {
156156
env: {},
157157
base: new URL(".", location).pathname.slice(0, -1),
158158
element: document.currentScript.parentElement
@@ -161,10 +161,10 @@ <h2 id="decimal-point-with-integers">Decimal Point with Integers</h2>
161161
const data = [null,null,null];
162162

163163
Promise.all([
164-
import("./_app/immutable/entry/start.31b0bf06.js"),
165-
import("./_app/immutable/entry/app.8558dfc5.js")
164+
import("./_app/immutable/entry/start.020e0bf7.js"),
165+
import("./_app/immutable/entry/app.20c549d8.js")
166166
]).then(([kit, app]) => {
167-
kit.start(app, __sveltekit_wfqjrz.element, {
167+
kit.start(app, __sveltekit_4096ut.element, {
168168
node_ids: [0, 2, 12],
169169
data,
170170
form: null,

‎docs/02-strings.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -34,11 +34,11 @@
3434
<meta http-equiv="content-security-policy" content="">
3535
<link href="./_app/immutable/assets/_layout.e2caa7e1.css" rel="stylesheet">
3636
<link href="./_app/immutable/assets/app.8bddbbc4.css" rel="stylesheet">
37-
<link rel="modulepreload" href="./_app/immutable/entry/start.31b0bf06.js">
37+
<link rel="modulepreload" href="./_app/immutable/entry/start.020e0bf7.js">
3838
<link rel="modulepreload" href="./_app/immutable/chunks/index.9fe14626.js">
39-
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.4a86d88e.js">
39+
<link rel="modulepreload" href="./_app/immutable/chunks/singletons.2bc0b691.js">
4040
<link rel="modulepreload" href="./_app/immutable/chunks/index.1c761ed5.js">
41-
<link rel="modulepreload" href="./_app/immutable/entry/app.8558dfc5.js">
41+
<link rel="modulepreload" href="./_app/immutable/entry/app.20c549d8.js">
4242
<link rel="modulepreload" href="./_app/immutable/entry/layout.svelte.2cd9eabd.js">
4343
<link rel="modulepreload" href="./_app/immutable/entry/_layout.ts.984db11e.js">
4444
<link rel="modulepreload" href="./_app/immutable/chunks/_layout.da46b06b.js">
@@ -168,7 +168,7 @@ <h2 id="state-costs">State costs</h2>
168168

169169
<script>
170170
{
171-
__sveltekit_wfqjrz = {
171+
__sveltekit_4096ut = {
172172
env: {},
173173
base: new URL(".", location).pathname.slice(0, -1),
174174
element: document.currentScript.parentElement
@@ -177,10 +177,10 @@ <h2 id="state-costs">State costs</h2>
177177
const data = [null,null,null];
178178

179179
Promise.all([
180-
import("./_app/immutable/entry/start.31b0bf06.js"),
181-
import("./_app/immutable/entry/app.8558dfc5.js")
180+
import("./_app/immutable/entry/start.020e0bf7.js"),
181+
import("./_app/immutable/entry/app.20c549d8.js")
182182
]).then(([kit, app]) => {
183-
kit.start(app, __sveltekit_wfqjrz.element, {
183+
kit.start(app, __sveltekit_4096ut.element, {
184184
node_ids: [0, 2, 13],
185185
data,
186186
form: null,

0 commit comments

Comments
 (0)