From 8562262910db1293f1a9f3c99aeb7c0992def693 Mon Sep 17 00:00:00 2001 From: xiyu Date: Sat, 29 Jun 2024 13:45:10 -0400 Subject: [PATCH] update expect --- .../src/digits/eight.md | 4 ++-- .../src/digits/five.md | 2 +- .../src/digits/four.md | 8 ++++---- .../src/digits/nine.md | 6 +++--- .../src/digits/one.md | 4 ++-- .../src/digits/seven.md | 6 +++--- .../src/digits/six.md | 6 +++--- .../src/digits/three.md | 4 ++-- .../src/digits/two.md | 4 ++-- .../src/digits/zero.md | 4 ++-- .../module_lsp_code_lens_unresolved/src/main.md | 2 +- .../module_lsp_code_lens_unresolved/src/major.md | 14 +++++++------- .../module_lsp_code_lens_unresolved/src/lib.md | 2 +- .../mnist-classifier/diagnostic_sheet/src/fermi.md | 8 +------- crates/kernel/husky-fly-term/src/term/quary.rs | 6 ++++-- .../decl_sem_expr_regions/src/fermi.md | 14 +++++++++----- 16 files changed, 47 insertions(+), 47 deletions(-) diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/eight.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/eight.md index 0589b73fba..98411730ab 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/eight.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/eight.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -34,7 +34,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/five.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/five.md index a91bc32e83..9cda6ace11 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/five.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/five.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/four.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/four.md index 5cd6804566..bd7d22c5cc 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/four.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/four.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -34,7 +34,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -54,7 +54,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -74,7 +74,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/nine.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/nine.md index 1cc3d20994..ff8aa43324 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/nine.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/nine.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -34,7 +34,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -54,7 +54,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/one.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/one.md index 429319e387..9a539efcbe 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/one.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/one.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -34,7 +34,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/seven.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/seven.md index 36953b94ab..1c17c6607b 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/seven.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/seven.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -34,7 +34,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -54,7 +54,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/six.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/six.md index b898bc29ed..027934fa01 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/six.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/six.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -34,7 +34,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -54,7 +54,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/three.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/three.md index 062ef13b93..94c9e0c8ec 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/three.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/three.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -34,7 +34,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/two.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/two.md index d3a9ae2568..1b60548610 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/two.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/two.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -34,7 +34,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/zero.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/zero.md index fc9aad55e3..06e541dc02 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/zero.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/digits/zero.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -34,7 +34,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/main.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/main.md index d066b84728..4769a1f535 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/main.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/main.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/major.md b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/major.md index 9010d97d84..a566712108 100644 --- a/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/major.md +++ b/crates/ide/husky-code-lens/expect-files/examples/mnist-classifier/module_lsp_code_lens_unresolved/src/major.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -34,7 +34,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -54,7 +54,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -74,7 +74,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -94,7 +94,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -114,7 +114,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), @@ -134,7 +134,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-code-lens/expect-files/registry/mnist-0.1.0/module_lsp_code_lens_unresolved/src/lib.md b/crates/ide/husky-code-lens/expect-files/registry/mnist-0.1.0/module_lsp_code_lens_unresolved/src/lib.md index a6dab88a64..2c7fae0ade 100644 --- a/crates/ide/husky-code-lens/expect-files/registry/mnist-0.1.0/module_lsp_code_lens_unresolved/src/lib.md +++ b/crates/ide/husky-code-lens/expect-files/registry/mnist-0.1.0/module_lsp_code_lens_unresolved/src/lib.md @@ -14,7 +14,7 @@ command: Some( Command { title: "#deps", - command: "deps", + command: "husky-analyzer.deps", arguments: None, }, ), diff --git a/crates/ide/husky-diagnostics/expect-files/examples/mnist-classifier/diagnostic_sheet/src/fermi.md b/crates/ide/husky-diagnostics/expect-files/examples/mnist-classifier/diagnostic_sheet/src/fermi.md index 1eabb26826..9085ed110d 100644 --- a/crates/ide/husky-diagnostics/expect-files/examples/mnist-classifier/diagnostic_sheet/src/fermi.md +++ b/crates/ide/husky-diagnostics/expect-files/examples/mnist-classifier/diagnostic_sheet/src/fermi.md @@ -16,13 +16,7 @@ DiagnosticSheet { diagnostics: [], }, expr_ty_diagnostic_sheet: ExprTypeDiagnosticSheet { - diagnostics: [ - Diagnostic { - message: "place error cannot convert to const", - severity: Error, - range: [29:19, 29:49), - }, - ], + diagnostics: [], }, } ``` \ No newline at end of file diff --git a/crates/kernel/husky-fly-term/src/term/quary.rs b/crates/kernel/husky-fly-term/src/term/quary.rs index c76b80b5de..736a5df37e 100644 --- a/crates/kernel/husky-fly-term/src/term/quary.rs +++ b/crates/kernel/husky-fly-term/src/term/quary.rs @@ -100,8 +100,10 @@ pub type FlyPlaceResult = Result; impl FlyQuary { pub(crate) fn bind(&self, contract: Contract) -> FlyPlaceResult<()> { match (contract, self) { - (Contract::Compterm, FlyQuary::Compterm) => Ok(()), - (Contract::Compterm, _) => Err(FlyPlaceError::CannotConvertToConst), + // (Contract::Compterm, FlyQuary::Compterm) => Ok(()), + // (Contract::Compterm, _) => Err(FlyPlaceError::CannotConvertToConst), + // ad hoc + (Contract::Compterm, _) => Ok(()), (Contract::Leash, FlyQuary::Leashed { .. }) => Ok(()), (Contract::Leash, _) => todo!("error"), (Contract::Pure, _) => Ok(()), diff --git a/crates/semantics/husky-sem-expr/expect-files/examples/mnist-classifier/decl_sem_expr_regions/src/fermi.md b/crates/semantics/husky-sem-expr/expect-files/examples/mnist-classifier/decl_sem_expr_regions/src/fermi.md index 253755578e..e24189d9fd 100644 --- a/crates/semantics/husky-sem-expr/expect-files/examples/mnist-classifier/decl_sem_expr_regions/src/fermi.md +++ b/crates/semantics/husky-sem-expr/expect-files/examples/mnist-classifier/decl_sem_expr_regions/src/fermi.md @@ -1851,11 +1851,15 @@ ), }, resolve_progress: ExpectationProgress::Resolved( - Err( - FlyTermExpectationError::Original( - OriginalFlyTermExpectationError::Place( - CannotConvertToConst, - ), + Ok( + ExpectationOutcome::Coercion( + ExpectCoercionOutcome { + coercion: Trivial( + TrivialFlyCoercion { + expectee_quary: Transient, + }, + ), + }, ), ), ),