mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-10-05 20:07:27 +03:00
merge: pull request #561 from HigherOrderCO/560-add-slash-on-the-end-of-identifiers-as-another-type-of-use
Added '/' with empty right side
This commit is contained in:
commit
329ce529b2
13
Cargo.lock
generated
13
Cargo.lock
generated
@ -500,9 +500,9 @@ checksum = "809e18805660d7b6b2e2b9f316a5099521b5998d5cba4dda11b5157a21aaef03"
|
||||
|
||||
[[package]]
|
||||
name = "hvm"
|
||||
version = "1.0.6"
|
||||
version = "1.0.7"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "35672d6ee046e8ebd6373a48aad5b926b4920cee27cb4f45e74643e7388c7a9e"
|
||||
checksum = "c7b8fc0ca6cceaffa4d4587bea27db3c6126771d1dfd0b8dce0504e6d4833b7c"
|
||||
dependencies = [
|
||||
"HOPA",
|
||||
"backtrace",
|
||||
@ -717,6 +717,7 @@ dependencies = [
|
||||
"fxhash",
|
||||
"kind-span",
|
||||
"pathdiff",
|
||||
"refl",
|
||||
"termsize",
|
||||
"unicode-width",
|
||||
"yansi",
|
||||
@ -782,7 +783,7 @@ dependencies = [
|
||||
|
||||
[[package]]
|
||||
name = "kind2"
|
||||
version = "0.3.9"
|
||||
version = "0.3.10"
|
||||
dependencies = [
|
||||
"anyhow",
|
||||
"clap 4.0.29",
|
||||
@ -1309,6 +1310,12 @@ dependencies = [
|
||||
"redox_syscall",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "refl"
|
||||
version = "0.2.1"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "f5fe2c8ee36d7d4f60a0574c7116a0614e3bf48bfa249062698b228bddee5026"
|
||||
|
||||
[[package]]
|
||||
name = "rustc-demangle"
|
||||
version = "0.1.21"
|
||||
|
@ -33,6 +33,10 @@ impl Visitor for Expand {
|
||||
}
|
||||
};
|
||||
match &ident.get_aux() {
|
||||
Some(post) if post.is_empty() => {
|
||||
ident.change_root(alias.to_string());
|
||||
ident.reset_aux()
|
||||
}
|
||||
Some(post) => {
|
||||
ident.change_root(format!("{}.{}", alias, post));
|
||||
ident.reset_aux()
|
||||
|
@ -169,7 +169,11 @@ impl Visitor for UnboundCollector {
|
||||
}
|
||||
|
||||
fn visit_qualified_ident(&mut self, ident: &mut QualifiedIdent) {
|
||||
debug_assert!(ident.get_aux().is_none());
|
||||
|
||||
if !ident.get_aux().is_none() {
|
||||
panic!("problem with 'use' desugaring")
|
||||
}
|
||||
|
||||
if !self.top_level_defs.contains_key(&ident.get_root()) {
|
||||
let entry = self.unbound_top_level.entry(ident.get_root()).or_default();
|
||||
entry.insert(ident.clone());
|
||||
|
@ -85,7 +85,7 @@ fn test_checker_issues() -> Result<(), Error> {
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[timeout(15000)]
|
||||
#[timeout(30000)]
|
||||
fn test_run() -> Result<(), Error> {
|
||||
test_kind2(Path::new("./suite/run"), |path, session| {
|
||||
let entrypoints = vec!["Main".to_string()];
|
||||
@ -100,7 +100,7 @@ fn test_run() -> Result<(), Error> {
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[timeout(15000)]
|
||||
#[timeout(30000)]
|
||||
fn test_eval() -> Result<(), Error> {
|
||||
test_kind2(Path::new("./suite/eval"), |path, session| {
|
||||
let check = driver::desugar_book(session, path)
|
||||
@ -112,7 +112,7 @@ fn test_eval() -> Result<(), Error> {
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[timeout(15000)]
|
||||
#[timeout(30000)]
|
||||
fn test_eval_issues() -> Result<(), Error> {
|
||||
test_kind2(Path::new("./suite/issues/eval"), |path, session| {
|
||||
let check = driver::desugar_book(session, path)
|
||||
@ -124,7 +124,7 @@ fn test_eval_issues() -> Result<(), Error> {
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[timeout(15000)]
|
||||
#[timeout(30000)]
|
||||
fn test_run_issues() -> Result<(), Error> {
|
||||
test_kind2(Path::new("./suite/issues/run"), |path, session| {
|
||||
let entrypoints = vec!["Main".to_string()];
|
||||
@ -139,7 +139,7 @@ fn test_run_issues() -> Result<(), Error> {
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[timeout(15000)]
|
||||
#[timeout(30000)]
|
||||
fn test_kdl() -> Result<(), Error> {
|
||||
test_kind2(Path::new("./suite/kdl"), |path, session| {
|
||||
let entrypoints = vec!["Main".to_string()];
|
||||
@ -150,7 +150,7 @@ fn test_kdl() -> Result<(), Error> {
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[timeout(15000)]
|
||||
#[timeout(30000)]
|
||||
fn test_erasure() -> Result<(), Error> {
|
||||
test_kind2(Path::new("./suite/erasure"), |path, session| {
|
||||
let entrypoints = vec!["Main".to_string()];
|
||||
@ -161,7 +161,7 @@ fn test_erasure() -> Result<(), Error> {
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[timeout(15000)]
|
||||
#[timeout(30000)]
|
||||
fn test_coverage() -> Result<(), Error> {
|
||||
test_kind2(Path::new("./suite/issues/coverage"), |path, session| {
|
||||
let entrypoints = vec!["Main".to_string()];
|
||||
|
@ -21,6 +21,10 @@ impl Symbol {
|
||||
data: str,
|
||||
}
|
||||
}
|
||||
|
||||
pub fn is_empty(&self) -> bool {
|
||||
self.data.is_empty()
|
||||
}
|
||||
}
|
||||
|
||||
impl PartialEq for Symbol {
|
||||
|
Loading…
Reference in New Issue
Block a user