Merge branch 'master' into rewrite/stepper

Author: martin-henz

.github/workflows/nodejs.yml

@@ -32,12 +32,16 @@ jobs:
         sudo apt-get install -y --no-install-recommends \
         libxi-dev libgl1-mesa-dev \
         texlive texlive-fonts-extra texlive-lang-cjk latexmk latex-cjk-all
+    # Has to be run before actions/setup-node.
+    # See: https://github.com/actions/setup-node/issues/480
+    - name: Enable corepack for Yarn
+      run: corepack enable
     - name: Setup Node
       uses: actions/setup-node@v4
       with:
         node-version: 20
         cache: yarn
-    - run: yarn install --frozen-lockfile
+    - run: yarn install --immutable
     - run: yarn build
     - run: yarn format:ci
     - run: yarn eslint

.gitignore

@@ -19,4 +19,12 @@ coverage/
 *.tsbuildinfo
 test-report.html
 
+# yarn files
+
+.yarn/*
+!.yarn/patches
+!.yarn/plugins
+!.yarn/releases
+!.yarn/sdks
+!.yarn/versions
 yarn-error.log

.yarnrc.yml

@@ -0,0 +1 @@
+nodeLinker: node-modules

README.md

@@ -64,7 +64,7 @@ You can set additional options:
 Usage: js-slang [PROGRAM_STRING] [OPTION]
 
   -c, --chapter=CHAPTER set the Source chapter number (i.e., 1-4)                                                              (default: 1)
-  -v, --variant=VARIANT set the Source variant (i.e., default, interpreter, substituter, typed, lazy, concurrent, wasm, gpu) (default: default)
+  -v, --variant=VARIANT set the Source variant (i.e., default, interpreter, substituter, typed, concurrent, wasm) (default: default)
   -h, --help            display this help
   -e, --eval            don't show REPL, only display output of evaluation
 ```
@@ -73,12 +73,10 @@ Currently, valid CHAPTER/VARIANT combinations are:
 
 - `--chapter=1 --variant=default`
 - `--chapter=1 --variant=wasm`
-- `--chapter=1 --variant=lazy`
 - `--chapter=1 --variant=substituter`
 - `--chapter=1 --variant=interpreter`
 - `--chapter=1 --variant=typed`
 - `--chapter=2 --variant=default`
-- `--chapter=2 --variant=lazy`
 - `--chapter=2 --variant=substituter`
 - `--chapter=2 --variant=interpreter`
 - `--chapter=2 --variant=typed`
@@ -87,7 +85,6 @@ Currently, valid CHAPTER/VARIANT combinations are:
 - `--chapter=3 --variant=interpreter`
 - `--chapter=3 --variant=typed`
 - `--chapter=4 --variant=default`
-- `--chapter=4 --variant=gpu`
 - `--chapter=4 --variant=interpreter`
 
 Hint: In `bash` you can take the `PROGRAM_STRING` out of a file as follows:

docs/md/README_1_LAZY.md

@@ -25,22 +25,16 @@ the members of our learning community.
 
 ### Language variants
 
-#### <a href="source_1_lazy/">Source §1 Lazy</a>
-  
 #### <a href="source_1_wasm/">Source §1 WebAssembly</a>
 
 #### <a href="source_1_typed/">Source §1 Typed</a>
 
-#### <a href="source_2_lazy/">Source §2 Lazy</a>
-
 #### <a href="source_2_typed/">Source §2 Typed</a>
 
 #### <a href="source_3_concurrent/">Source §3 Concurrent</a>
 
 #### <a href="source_3_typed/">Source §3 Typed</a>
 
-#### <a href="source_4_gpu/">Source §4 GPU</a>
-
 #### <a href="source_4_typed/">Source §4 Typed</a>
 
 #### <a href="source_4_explicit-control/">Source §4 Explicit-Control</a>
@@ -58,22 +52,16 @@ the Source Academy.
 
 #### <a href="source_4.pdf">Specification of Source §4</a>
 
-#### <a href="source_1_lazy.pdf">Specification of Source §1 Lazy</a>
-  
 #### <a href="source_1_wasm.pdf">Specification of Source §1 WebAssembly</a>
 
 #### <a href="source_1_typed.pdf">Specification of Source §1 Typed</a>
 
-#### <a href="source_2_lazy.pdf">Specification of Source §2 Lazy</a>
-
 #### <a href="source_2_typed.pdf">Specification of Source §2 Typed</a>
 
 #### <a href="source_3_concurrent.pdf">Specification of Source §3 Concurrent</a>
 
 #### <a href="source_3_typed.pdf">Specification of Source §3 Typed</a>
 
-#### <a href="source_4_gpu.pdf">Specification of Source §4 GPU</a>
-
 #### <a href="source_4_typed.pdf">Specification of Source §4 Typed</a>
 
 #### <a href="source_4_explicitcontrol.pdf">Specification of Source §4 Explicit-Control</a>

docs/md/README_2_LAZY.md

@@ -1,6 +1,6 @@
 PDFLATEX = latexmk -pdf
 
-SPECSNUMS = 1 1_lazy 1_wasm 1_type_inference 1_infinite_loop_detection 1_typed 2 2_lazy 2_typed 3_type_inference 3 3_concurrent 3_typed 4 4_explicitcontrol 4_gpu 4_typed styleguide 2_stepper studio_2 python_1
+SPECSNUMS = 1 1_wasm 1_type_inference 1_infinite_loop_detection 1_typed 2 2_typed 3_type_inference 3 3_concurrent 3_typed 4 4_explicitcontrol 4_typed styleguide 2_stepper studio_2 python_1
 
 SPECS = $(SPECSNUMS:%=source_%)