Skip to content

[RFC007] Migration of the typechecker - part II #6202

[RFC007] Migration of the typechecker - part II

[RFC007] Migration of the typechecker - part II #6202

Triggered via pull request December 28, 2024 17:06
Status Failure
Total duration 4m 24s
Artifacts

continuous-integration.yml

on: pull_request
build-and-test (windows-latest)
4m 13s
build-and-test (windows-latest)
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

13 errors and 2 warnings
build-and-test (linux)
Process completed with exit code 1.
build-and-test (macos)
The job was canceled because "self-hosted_Linux_X64_lin" failed.
build-and-test (macos)
The operation was canceled.
build-and-test (windows-latest): core/src/repl/mod.rs#L91
missing lifetime specifier
build-and-test (windows-latest): core/src/repl/mod.rs#L94
missing lifetime specifier
build-and-test (windows-latest): core/src/repl/mod.rs#L138
cannot find function `type_check` in module `typecheck`
build-and-test (windows-latest): core/src/repl/mod.rs#L308
cannot find function `type_check` in module `typecheck`
build-and-test (windows-latest): core/src/repl/mod.rs#L327
cannot find function `apparent_type` in module `typecheck`
build-and-test (windows-latest): core/src/cache.rs#L1504
struct takes 0 lifetime arguments but 1 lifetime argument was supplied
build-and-test (windows-latest): core/src/eval/mod.rs#L1060
the trait bound `cache::Cache: cache::ImportResolver` is not satisfied
build-and-test (windows-latest): core/src/eval/mod.rs#L1063
the trait bound `cache::Cache: cache::ImportResolver` is not satisfied
build-and-test (windows-latest): core/src/eval/mod.rs#L1093
the trait bound `cache::Cache: cache::ImportResolver` is not satisfied
build-and-test (windows-latest): core/src/typecheck/mod.rs#L1210
conflicting implementations of trait `typecheck::ReifyAsUnifType<'_>` for type `TypeVarData`
build-and-test (linux)
This user is not allowed to set the post-build-hook. Ignoring the 'useDaemon' option.
build-and-test (macos)
This user is not allowed to set the post-build-hook. Ignoring the 'useDaemon' option.