eyelang 1.7.1 → 1.7.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyelang",
-  "version": "1.7.1",
+  "version": "1.7.2",
   "description": "A small Prolog-like logic programming language for rules, goals, answers, and proofs.",
   "type": "module",
   "main": "./index.js",

package/src/cli.js

@@ -141,8 +141,8 @@ Usage:
   eyelang [options] [file-or-url.eye|- ...]
 
 Input:
-  file-or-url.eye        Read a Eyelang program from a local file or http(s) URL.
-  -                     Read a Eyelang program from standard input.
+  file-or-url.eye       Read an Eyelang program from a local file or http(s) URL.
+  -                     Read an Eyelang program from standard input.
 
 Options:
   -h, --help            Show this help text and exit.

package/test/run-regression.mjs

@@ -178,7 +178,10 @@ why(
         assertIncludes(result.stdout, 'Usage:\n  eyelang [options] [file-or-url.eye|- ...]', 'stdout');
         assertIncludes(result.stdout, '-p, --proof', 'stdout');
         assertIncludes(result.stdout, '-s, --stats', 'stdout');
+        assertIncludes(result.stdout, '-v, --version', 'stdout');
         assertIncludes(result.stdout, '-w, --warnings', 'stdout');
+        assertIncludes(result.stdout, '-v, --version         Show the package version and exit.\n  -w, --warnings        Print non-fatal portability warnings to stderr.', 'stdout');
+        assertIncludes(result.stdout, 'Read an Eyelang program', 'stdout');
         assertEqual(result.stderr, '', 'stderr');
       },
     },
@@ -191,6 +194,15 @@ why(
         assertEqual(result.stderr, '', 'stderr');
       },
     },
+    {
+      name: '-v shows package version',
+      run: () => {
+        const result = runCli(['-v']);
+        assertEqual(result.status, 0, 'exit status');
+        assertEqual(result.stdout, `eyelang ${pkg.version}\n`, 'stdout');
+        assertEqual(result.stderr, '', 'stderr');
+      },
+    },
     {
       name: 'npm exec can run package CLI bin from checkout',
       run: () => {