From 7d680b6d2e33b008ea189434ac7637670604d980 Mon Sep 17 00:00:00 2001
From: "P. Oscar Boykin" <johnynek@users.noreply.github.com>
Date: Sun, 24 Mar 2024 16:05:09 -1000
Subject: [PATCH] Rename type-check to check (#1186)

---
 core/src/main/scala/org/bykn/bosatsu/MainModule.scala | 8 ++++----
 docs/src/main/paradox/getting_started.md              | 6 +++---
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/core/src/main/scala/org/bykn/bosatsu/MainModule.scala b/core/src/main/scala/org/bykn/bosatsu/MainModule.scala
index b9a6cac4d..a11a83b0f 100644
--- 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
index 4277bb0c8..f864a435b 100644
--- 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