praxis-cli 0.2.0

The `praxis` command-line tool: run, check and debug Praxis programs.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

[package]
name = "praxis-cli"
version.workspace = true
edition.workspace = true
rust-version.workspace = true
authors.workspace = true
license.workspace = true
repository.workspace = true
homepage.workspace = true
description = "The `praxis` command-line tool: run, check and debug Praxis programs."
keywords.workspace = true
categories = ["command-line-utilities", "compilers", "development-tools"]
readme = "README.md"

[[bin]]
name = "praxis"
path = "src/main.rs"

[dependencies]
praxis-source.workspace = true
praxis-syntax.workspace = true
praxis-parser.workspace = true
praxis-ast.workspace = true
praxis-hir.workspace = true
praxis-typeck.workspace = true
praxis-mir.workspace = true
praxis-runtime.workspace = true
praxis-debugger.workspace = true
praxis-stdlib.workspace = true
praxis-codegen-cranelift.workspace = true
# The shared front-end query layer. `praxis check` calls it, so the CLI and the
# editor cannot disagree about what a file says.
praxis-lsp.workspace = true
anyhow.workspace = true
clap.workspace = true

[dev-dependencies]
insta.workspace = true
praxis-input-parser.workspace = true
praxis-test-support.workspace = true
serde_json.workspace = true