eyelang 4.0.5 → 4.0.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +1 -1
- package/docs/guide.md +3 -3
- package/package.json +3 -4
- package/test/conformance/README.md +2 -2
package/README.md
CHANGED
|
@@ -63,7 +63,7 @@ python3 -m http.server
|
|
|
63
63
|
```bash
|
|
64
64
|
npm test
|
|
65
65
|
npm run test:conformance
|
|
66
|
-
|
|
66
|
+
node test/run-conformance-report.mjs
|
|
67
67
|
# release preparation writes conformance-report.md via the preversion script
|
|
68
68
|
npm run test:examples
|
|
69
69
|
npm run test:regression
|
package/docs/guide.md
CHANGED
|
@@ -520,7 +520,7 @@ node test/run-examples.mjs
|
|
|
520
520
|
Summarize the conformance corpus by category:
|
|
521
521
|
|
|
522
522
|
```sh
|
|
523
|
-
|
|
523
|
+
node test/run-conformance-report.mjs
|
|
524
524
|
```
|
|
525
525
|
|
|
526
526
|
Release preparation runs the same report and writes [`conformance-report.md`](../conformance-report.md), so each published package carries a current conformance summary.
|
|
@@ -534,7 +534,7 @@ Common commands:
|
|
|
534
534
|
```sh
|
|
535
535
|
npm run test:eyelang # alias for npm test
|
|
536
536
|
npm test # full conformance, regression/API/white-box, examples, and proof examples
|
|
537
|
-
|
|
537
|
+
node test/run-conformance-report.mjs # conformance coverage summary by category
|
|
538
538
|
node test/run-conformance.mjs
|
|
539
539
|
node test/run-regression.mjs
|
|
540
540
|
node test/run-examples.mjs
|
|
@@ -553,7 +553,7 @@ For a release:
|
|
|
553
553
|
2. update `README.md` and the language reference;
|
|
554
554
|
3. regenerate golden outputs if behavior changed;
|
|
555
555
|
4. run `npm run test:eyelang`;
|
|
556
|
-
5. run `
|
|
556
|
+
5. run `node test/run-conformance-report.mjs conformance-report.md`;
|
|
557
557
|
6. publish the repository with the browser playground assets if publishing the playground. The playground includes controls equivalent to CLI `--stats` and `--proof`.
|
|
558
558
|
|
|
559
559
|
## Relationship to Eyeling
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "eyelang",
|
|
3
|
-
"version": "4.0.
|
|
3
|
+
"version": "4.0.6",
|
|
4
4
|
"description": "A small reasoning language with ISO Prolog-compatible surface syntax.",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"main": "./index.js",
|
|
@@ -44,8 +44,7 @@
|
|
|
44
44
|
"test:conformance": "node test/run-conformance.mjs",
|
|
45
45
|
"test:examples": "node test/run-examples.mjs",
|
|
46
46
|
"test:regression": "node test/run-regression.mjs",
|
|
47
|
-
"preversion": "npm test &&
|
|
48
|
-
"postversion": "git push origin HEAD --follow-tags"
|
|
49
|
-
"conformance:report": "node test/run-conformance-report.mjs"
|
|
47
|
+
"preversion": "npm test && node test/run-conformance-report.mjs conformance-report.md",
|
|
48
|
+
"postversion": "git push origin HEAD --follow-tags"
|
|
50
49
|
}
|
|
51
50
|
}
|
|
@@ -46,8 +46,8 @@ node test/run-conformance.mjs
|
|
|
46
46
|
Summarize conformance coverage by category:
|
|
47
47
|
|
|
48
48
|
```sh
|
|
49
|
-
|
|
50
|
-
|
|
49
|
+
node test/run-conformance-report.mjs
|
|
50
|
+
node test/run-conformance-report.mjs conformance-report.md
|
|
51
51
|
```
|
|
52
52
|
|
|
53
53
|
Run matching conformance cases by passing a filename or directory fragment:
|