Skip to content
Continuous integration

[RFC007] Migrate the typechecker to the new AST - Part I #6157

Sign in to view logs

[RFC007] Migrate the typechecker to the new AST - Part I

[RFC007] Migrate the typechecker to the new AST - Part I #6157

Triggered via pull request December 18, 2024 17:51
@yannhamyannham
synchronize #2121
rfc007/typechecking
Status Failure
Total duration 3m 52s
Artifacts –

continuous-integration.yml

on: pull_request
build-and-test (windows-latest)
3m 40s
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/bytecode/typecheck/subtyping.rs#L44
missing lifetime specifier
build-and-test (windows-latest): core/src/bytecode/typecheck/subtyping.rs#L150
missing lifetime specifier
build-and-test (windows-latest): core/src/bytecode/typecheck/eq.rs#L109
cannot find type `RichTerm` in this scope
build-and-test (windows-latest): core/src/bytecode/typecheck/eq.rs#L111
cannot find type `RichTerm` in this scope
build-and-test (windows-latest): core/src/bytecode/typecheck/eq.rs#L140
cannot find type `RichTerm` in this scope
build-and-test (windows-latest): core/src/bytecode/typecheck/eq.rs#L142
cannot find type `RichTerm` in this scope
build-and-test (windows-latest): core/src/bytecode/typecheck/eq.rs#L173
failed to resolve: use of undeclared type `StrChunk`
build-and-test (windows-latest): core/src/bytecode/typecheck/eq.rs#L173
failed to resolve: use of undeclared type `StrChunk`
build-and-test (windows-latest): core/src/bytecode/typecheck/operation.rs#L6
unused imports: `BinaryOp`, `NAryOp`, `RecordExtKind`, `RecordOpKind`, `UnaryOp`, and `position::TermPos`
build-and-test (windows-latest): core/src/bytecode/typecheck/error.rs#L289
mismatched types
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.