[RFC007] Migrate the typechecker to the new AST - Part I #6167
yannhamcontinuous-integration.yml
on: pull_request
build-and-test (windows-latest)
2m 21s
Matrix: build-and-test
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/unif.rs#L1250
cannot find function `contract_eq` in module `eq`
|
|
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#L396
unreachable expression
|
|
build-and-test (windows-latest):
core/src/bytecode/typecheck/error.rs#L406
unreachable expression
|
|
build-and-test (windows-latest):
core/src/bytecode/typecheck/reporting.rs#L162
the trait bound `ast::typ::Type<'_>: From<typ::TypeF<Box<ast::typ::Type<'_>>, ast::typ::RecordRows<'_>, ast::typ::EnumRows<'_>, &ast::Ast<'_>>>` is not satisfied
|
|
|
|
|
|
|
|
|
|
build-and-test (windows-latest):
core/src/typ.rs#L329
the trait bound `term::RichTerm: std::cmp::Eq` is not satisfied
|
|
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.
|