mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-09-11 08:45:32 +03:00
refactor: moved tests folder
This commit is contained in:
parent
4357ec0078
commit
3aec490f39
17
Cargo.lock
generated
17
Cargo.lock
generated
@ -545,9 +545,6 @@ dependencies = [
|
|||||||
"kind-driver",
|
"kind-driver",
|
||||||
"kind-query",
|
"kind-query",
|
||||||
"kind-report",
|
"kind-report",
|
||||||
"ntest",
|
|
||||||
"pretty_assertions",
|
|
||||||
"walkdir",
|
|
||||||
]
|
]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
@ -555,6 +552,7 @@ name = "kind-derive"
|
|||||||
version = "0.1.0"
|
version = "0.1.0"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"fxhash",
|
"fxhash",
|
||||||
|
"im",
|
||||||
"kind-report",
|
"kind-report",
|
||||||
"kind-span",
|
"kind-span",
|
||||||
"kind-tree",
|
"kind-tree",
|
||||||
@ -657,6 +655,19 @@ dependencies = [
|
|||||||
"tiny-keccak",
|
"tiny-keccak",
|
||||||
]
|
]
|
||||||
|
|
||||||
|
[[package]]
|
||||||
|
name = "kind-tests"
|
||||||
|
version = "0.1.0"
|
||||||
|
dependencies = [
|
||||||
|
"kind-checker",
|
||||||
|
"kind-driver",
|
||||||
|
"kind-query",
|
||||||
|
"kind-report",
|
||||||
|
"ntest",
|
||||||
|
"pretty_assertions",
|
||||||
|
"walkdir",
|
||||||
|
]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "kind-tree"
|
name = "kind-tree"
|
||||||
version = "0.1.0"
|
version = "0.1.0"
|
||||||
|
@ -12,6 +12,7 @@ members = [
|
|||||||
"crates/kind-target-kdl",
|
"crates/kind-target-kdl",
|
||||||
"crates/kind-target-hvm",
|
"crates/kind-target-hvm",
|
||||||
"crates/kind-derive",
|
"crates/kind-derive",
|
||||||
|
"crates/kind-tests",
|
||||||
# "crates/kind-optimization",
|
# "crates/kind-optimization",
|
||||||
# "crates/kind-lint",
|
# "crates/kind-lint",
|
||||||
# "crates/kind-query",
|
# "crates/kind-query",
|
||||||
|
@ -19,10 +19,4 @@ kind-report = { path = "../kind-report" }
|
|||||||
kind-checker = { path = "../kind-checker" }
|
kind-checker = { path = "../kind-checker" }
|
||||||
kind-query = { path = "../kind-query" }
|
kind-query = { path = "../kind-query" }
|
||||||
|
|
||||||
clap = { version = "4.0.10", features = ["derive"] }
|
clap = { version = "4.0.10", features = ["derive"] }
|
||||||
|
|
||||||
[dev-dependencies]
|
|
||||||
|
|
||||||
pretty_assertions = "1.3.0"
|
|
||||||
ntest = "0.8.1"
|
|
||||||
walkdir = "2"
|
|
@ -1,24 +0,0 @@
|
|||||||
ERROR Required functions are not implemented for this type.
|
|
||||||
|
|
||||||
/--[tests/suite/checker/derive/fail/WrongU120.kind2:5:12]
|
|
||||||
|
|
|
||||||
4 |
|
|
||||||
5 | Teste : Eq 123u120 124u120
|
|
||||||
| v------
|
|
||||||
| \You cannot use this expression!
|
|
||||||
6 | Teste = Eq.rfl
|
|
||||||
|
|
||||||
Hint: You must implement 'U120.new' in order to use the u120 notation.
|
|
||||||
|
|
||||||
ERROR Required functions are not implemented for this type.
|
|
||||||
|
|
||||||
/--[tests/suite/checker/derive/fail/WrongU120.kind2:5:20]
|
|
||||||
|
|
|
||||||
4 |
|
|
||||||
5 | Teste : Eq 123u120 124u120
|
|
||||||
| v------
|
|
||||||
| \You cannot use this expression!
|
|
||||||
6 | Teste = Eq.rfl
|
|
||||||
|
|
||||||
Hint: You must implement 'U120.new' in order to use the u120 notation.
|
|
||||||
|
|
@ -1,6 +0,0 @@
|
|||||||
type Eq <t: Type> (a: t) ~ (b: t) {
|
|
||||||
rfl: Eq t a a
|
|
||||||
}
|
|
||||||
|
|
||||||
Teste : Eq 123u120 124u120
|
|
||||||
Teste = Eq.rfl
|
|
15
crates/kind-tests/Cargo.toml
Normal file
15
crates/kind-tests/Cargo.toml
Normal file
@ -0,0 +1,15 @@
|
|||||||
|
[package]
|
||||||
|
name = "kind-tests"
|
||||||
|
version = "0.1.0"
|
||||||
|
edition = "2021"
|
||||||
|
|
||||||
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
|
[dependencies]
|
||||||
|
kind-driver = { path = "../kind-driver" }
|
||||||
|
kind-report = { path = "../kind-report" }
|
||||||
|
kind-checker = { path = "../kind-checker" }
|
||||||
|
kind-query = { path = "../kind-query" }
|
||||||
|
pretty_assertions = "1.3.0"
|
||||||
|
ntest = "0.8.1"
|
||||||
|
walkdir = "2"
|
Loading…
Reference in New Issue
Block a user