Rename type-check to check (#1186)

johnynek · Mar 25, 2024 · 7d680b6 · 7d680b6
1 parent acd149a
commit 7d680b6
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/core/src/main/scala/org/bykn/bosatsu/MainModule.scala b/core/src/main/scala/org/bykn/bosatsu/MainModule.scala
@@ -1214,12 +1214,12 @@ abstract class MainModule[IO[_]](implicit
           }
     }
 
-    case class TypeCheck(
+    case class Check(
         inputs: Inputs.Compile,
         output: Option[Path],
         ifout: Option[Path],
         errColor: Colorize
-    ) extends MainCommand("type-check") {
+    ) extends MainCommand("check") {
 
       type Result = Output.CompileOut
 
@@ -1528,7 +1528,7 @@ abstract class MainModule[IO[_]](implicit
         interfaceOutputPath.orNone,
         colorOpt
       )
-        .mapN(TypeCheck(_, _, _, _))
+        .mapN(Check(_, _, _, _))
 
       val testOpt = (Inputs.runtimeOpts, testP, colorOpt)
         .mapN(RunTests(_, _, _))
@@ -1538,7 +1538,7 @@ abstract class MainModule[IO[_]](implicit
           evalOpt
         )
         .orElse(
-          Opts.subcommand("type-check", "type check a set of packages")(
+          Opts.subcommand("check", "type check a set of packages")(
             typeCheckOpt
           )
         )

diff --git a/docs/src/main/paradox/getting_started.md b/docs/src/main/paradox/getting_started.md
@@ -8,11 +8,11 @@ sbt cli/assembly
 If that completes successfully, you can run `./bosatsuj` if you have java installed. Running with no
 arguments prints the help message. You should see something like:
 ```
-Missing expected command (eval or type-check or test or json or transpile)!
+Missing expected command (eval or check or test or json or transpile)!
 
 Usage:
     bosatsu eval
-    bosatsu type-check
+    bosatsu check
     bosatsu test
     bosatsu json
     bosatsu transpile
@@ -30,7 +30,7 @@ Options and flags:
 Subcommands:
     eval
         evaluate an expression and print the output
-    type-check
+    check
         type check a set of packages
     test
         test a set of bosatsu modules