Skip to content

Commit

Permalink
Remove lazy (#1743)
Browse files Browse the repository at this point in the history
* Remove lazy

* Run format

* Utilize yarn 4.6.0

* Remove GPU

* Remove gpu.js

---------

Co-authored-by: Martin Henz <henz@comp.nus.edu.sg>
  • Loading branch information
leeyi45 and martin-henz authored Mar 3, 2025
1 parent 3c5afad commit e35223f
Show file tree
Hide file tree
Showing 41 changed files with 7,933 additions and 10,396 deletions.
6 changes: 5 additions & 1 deletion .github/workflows/nodejs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
8 changes: 8 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -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
1 change: 1 addition & 0 deletions .yarnrc.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
nodeLinker: node-modules
5 changes: 1 addition & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
```
Expand All @@ -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`
Expand All @@ -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:
Expand Down
43 changes: 0 additions & 43 deletions docs/md/README_1_LAZY.md

This file was deleted.

45 changes: 0 additions & 45 deletions docs/md/README_2_LAZY.md

This file was deleted.

86 changes: 0 additions & 86 deletions docs/md/README_4_GPU.md

This file was deleted.

12 changes: 0 additions & 12 deletions docs/md/README_top.md
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand All @@ -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>
Expand Down
2 changes: 1 addition & 1 deletion docs/specs/Makefile
Original file line number Diff line number Diff line change
@@ -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_%)

Expand Down
66 changes: 0 additions & 66 deletions docs/specs/source_1_lazy.tex

This file was deleted.

Loading

0 comments on commit e35223f

Please sign in to comment.