Skip to content

Commit a50f7dc

Browse files
leeyi45s-kybound
andauthored
Remove Non-Det Interpreter (#1725)
* Remove non-det * Continue removing non-det * Update eslint and fix linting errors * Fix bug where cleaning docs would remove the gitignore * Add ts-check and tseslint helper as requested * Add explanation for ts-expect-error * Remove jsdoc stuff pertaining to non-det * Remove from non-det from the script * Replace docs scripts with javascript code * Misc change * Get make to output to stdio * Update to use the proper functions from child_process * Add documentation and silent option for prepare * Make autocomplete exit with error code * Put the query parameter back for module importing * Update eslint import * Merge from main * Update docs * Update scm-slang --------- Co-authored-by: Kyriel Abad <abadkyriel@gmail.com>
1 parent 1ec7669 commit a50f7dc

Some content is hidden

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

48 files changed

+706
-3215
lines changed

.eslintignore

Lines changed: 0 additions & 3 deletions
This file was deleted.

.eslintrc.json

Lines changed: 0 additions & 65 deletions
This file was deleted.

.gitignore

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,11 @@
11
node_modules
22
*.js
3+
4+
# docs
35
!docs/jsdoc/templates/**/*.js
46
!docs/lib/**/*.js
7+
docs/source
8+
59
*.map
610
dist/
711
.idea/

README.md

Lines changed: 14 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -4,17 +4,19 @@ Open-source implementations of the programming language _Source_. Source is a se
44

55
## Table of Contents
66

7-
- [Prerequisites](#prerequisites)
8-
- [Usage](#usage)
9-
- [Documentation](#documentation)
10-
- [Requirements](#requirements)
11-
- [Testing](#testing)
12-
- [Error messages](#error-messages)
13-
- [Using your js-slang in Source Academy](#using-your-js-slang-in-source-academy)
14-
- [Using your js-slang in your local Source Academy](#using-your-js-slang-in-your-local-source-academy)
15-
- [Building and publishing SICP package](#building-and-publishing-sicp-package)
16-
- [Talks and Presentations](#talks-and-presentations)
17-
- [License](#license)
7+
- [js-slang](#js-slang)
8+
- [Table of Contents](#table-of-contents)
9+
- [Prerequisites](#prerequisites)
10+
- [Usage](#usage)
11+
- [Documentation](#documentation)
12+
- [Requirements](#requirements)
13+
- [Testing](#testing)
14+
- [Error messages](#error-messages)
15+
- [Using your js-slang in Source Academy](#using-your-js-slang-in-source-academy)
16+
- [Using your js-slang in your local Source Academy](#using-your-js-slang-in-your-local-source-academy)
17+
- [Building and publishing SICP package](#building-and-publishing-sicp-package)
18+
- [Talks and Presentations](#talks-and-presentations)
19+
- [License](#license)
1820

1921
## Prerequisites
2022

@@ -62,7 +64,7 @@ You can set additional options:
6264
Usage: js-slang [PROGRAM_STRING] [OPTION]
6365
6466
-c, --chapter=CHAPTER set the Source chapter number (i.e., 1-4) (default: 1)
65-
-v, --variant=VARIANT set the Source variant (i.e., default, interpreter, substituter, typed, lazy, non-det, concurrent, wasm, gpu) (default: default)
67+
-v, --variant=VARIANT set the Source variant (i.e., default, interpreter, substituter, typed, lazy, concurrent, wasm, gpu) (default: default)
6668
-h, --help display this help
6769
-e, --eval don't show REPL, only display output of evaluation
6870
```
@@ -82,7 +84,6 @@ Currently, valid CHAPTER/VARIANT combinations are:
8284
- `--chapter=2 --variant=typed`
8385
- `--chapter=3 --variant=default`
8486
- `--chapter=3 --variant=concurrent`
85-
- `--chapter=3 --variant=non-det`
8687
- `--chapter=3 --variant=interpreter`
8788
- `--chapter=3 --variant=typed`
8889
- `--chapter=4 --variant=default`

docs/lib/non-det.js

Lines changed: 0 additions & 89 deletions
This file was deleted.

docs/md/README_3_NON-DET.md

Lines changed: 0 additions & 105 deletions
This file was deleted.

docs/md/README_NON-DET.md

Lines changed: 0 additions & 10 deletions
This file was deleted.

docs/md/README_top.md

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -35,8 +35,6 @@ the members of our learning community.
3535

3636
#### <a href="source_2_typed/">Source §2 Typed</a>
3737

38-
#### <a href="source_3_non-det/">Source §3 Non-Det</a>
39-
4038
#### <a href="source_3_concurrent/">Source §3 Concurrent</a>
4139

4240
#### <a href="source_3_typed/">Source §3 Typed</a>
@@ -70,8 +68,6 @@ the Source Academy.
7068

7169
#### <a href="source_2_typed.pdf">Specification of Source §2 Typed</a>
7270

73-
#### <a href="source_3_nondet.pdf">Specification of Source §3 Non-Det</a>
74-
7571
#### <a href="source_3_concurrent.pdf">Specification of Source §3 Concurrent</a>
7672

7773
#### <a href="source_3_typed.pdf">Specification of Source §3 Typed</a>

docs/source/.gitignore

Lines changed: 0 additions & 2 deletions
This file was deleted.

docs/specs/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
PDFLATEX = latexmk -pdf
22

3-
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_nondet 3_concurrent 3_typed 4 4_explicitcontrol 4_gpu 4_typed styleguide 2_stepper studio_2 python_1
3+
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
44

55
SPECS = $(SPECSNUMS:%=source_%)
66

0 commit comments

Comments
 (0)