Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rename type-check to check #1186

Merged
merged 1 commit into from Mar 25, 2024
Merged

Rename type-check to check #1186

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
8 changes: 4 additions & 4 deletions core/src/main/scala/org/bykn/bosatsu/MainModule.scala
View file
Open in desktop
Expand Up @@ -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

Expand Down Expand Up @@ -1528,7 +1528,7 @@ abstract class MainModule[IO[_]](implicit
interfaceOutputPath.orNone,
colorOpt
)
.mapN(TypeCheck(_, _, _, _))
.mapN(Check(_, _, _, _))

val testOpt = (Inputs.runtimeOpts, testP, colorOpt)
.mapN(RunTests(_, _, _))
Expand All @@ -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
)
)
Expand Down
6 changes: 3 additions & 3 deletions docs/src/main/paradox/getting_started.md
View file
Open in desktop
Expand Up @@ -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
Expand All @@ -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
Expand Down