@@ -1244,7 +1244,7 @@ <h3 id="desugaring">Desugaring</h3>
1244
1244
</ p >
1245
1245
< div class ="desugar-rule ">
1246
1246
\[
1247
- desugar(e) = desugar_{expr}(\local{\texttt{std} = e_{std}}{e }, false)
1247
+ desugar(e) = desugar_{expr}(\local{\texttt{\$ std} = e_{std}}{\local{\texttt{std} = \texttt{\$std}}{e} }, false)
1248
1248
\]
1249
1249
</ div >
1250
1250
</ div >
@@ -1406,7 +1406,7 @@ <h3 id="desugaring">Desugaring</h3>
1406
1406
< div class ="desugar-rule ">
1407
1407
\[
1408
1408
desugar_{expr}(e[e':e'':e'''], b) =
1409
- desugar_{expr}(\texttt{std.slice}(e, e', e'', e'''), b)
1409
+ desugar_{expr}(\texttt{\$ std.slice}(e, e', e'', e'''), b)
1410
1410
\]
1411
1411
</ div >
1412
1412
@@ -1437,27 +1437,27 @@ <h3 id="desugaring">Desugaring</h3>
1437
1437
1438
1438
< div class ="desugar-rule ">
1439
1439
\[
1440
- desugar_{expr}(e \mathop{==} e', b) = desugar_{expr}(\texttt{std.equals}(e, e'), b)
1440
+ desugar_{expr}(e \mathop{==} e', b) = desugar_{expr}(\texttt{\$ std.equals}(e, e'), b)
1441
1441
\]
1442
1442
</ div >
1443
1443
1444
1444
< div class ="desugar-rule ">
1445
1445
\[
1446
- desugar_{expr}(e \mathop{\%} e', b) = desugar_{expr}(\texttt{std.mod}(e, e'), b)
1446
+ desugar_{expr}(e \mathop{\%} e', b) = desugar_{expr}(\texttt{\$ std.mod}(e, e'), b)
1447
1447
\]
1448
1448
</ div >
1449
1449
1450
1450
< div class ="desugar-rule ">
1451
1451
\[
1452
1452
desugar_{expr}(e \mathop{\texttt{in}} e', b) =
1453
- desugar_{expr}(\texttt{std.objectHasEx}(e', e, \texttt{true}), b)
1453
+ desugar_{expr}(\texttt{\$ std.objectHasEx}(e', e, \texttt{true}), b)
1454
1454
\]
1455
1455
</ div >
1456
1456
1457
1457
< div class ="desugar-rule ">
1458
1458
\[
1459
1459
desugar_{expr}(e \mathop{\texttt{in}} \texttt{super}, b) =
1460
- desugar_{expr}(\texttt{std.objectHasEx}(\texttt{super}, e, \texttt{true}), b)
1460
+ desugar_{expr}(\texttt{\$ std.objectHasEx}(\texttt{super}, e, \texttt{true}), b)
1461
1461
\]
1462
1462
</ div >
1463
1463
</ div >
@@ -1603,8 +1603,8 @@ <h3 id="desugaring">Desugaring</h3>
1603
1603
\hspace{10mm}\textrm{Let }arr, i\textrm{ fresh} \\
1604
1604
\hspace{10mm}desugar_{expr}(
1605
1605
\local{arr = e'}{
1606
- \texttt{std.join}(\\\hspace{20mm}[\ ], \texttt{std.makeArray}(
1607
- \texttt{std.length}(arr),
1606
+ \texttt{\$ std.join}(\\\hspace{20mm}[\ ], \texttt{\$ std.makeArray}(
1607
+ \texttt{\$ std.length}(arr),
1608
1608
\function{i}{\local{x = arr[i]}{desugar_{arrcomp}(e, compspec, b)}}
1609
1609
))
1610
1610
},
@@ -1618,8 +1618,8 @@ <h3 id="desugaring">Desugaring</h3>
1618
1618
\hspace{10mm}\textrm{Let }arr, i\textrm{ fresh} \\
1619
1619
\hspace{10mm}desugar_{expr}(
1620
1620
\local{arr = e'}{
1621
- \texttt{std.join}(\\\hspace{20mm}[\ ], \texttt{std.makeArray}(
1622
- \texttt{std.length}(arr),
1621
+ \texttt{\$ std.join}(\\\hspace{20mm}[\ ], \texttt{\$ std.makeArray}(
1622
+ \texttt{\$ std.length}(arr),
1623
1623
\function{i}{\local{x = arr[i]}{[e]}}
1624
1624
))
1625
1625
},
0 commit comments