[RFC007] Migration of the typechecker - part II #6201
yannhamcontinuous-integration.yml
on: pull_request
build-and-test (windows-latest)
5m 11s
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/eval/mod.rs#L1060
implicit elided lifetime not allowed here
|
|
build-and-test (windows-latest):
core/src/program.rs#L181
missing lifetime specifier
|
|
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#L96
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/typecheck/mod.rs#L1210
conflicting implementations of trait `typecheck::ReifyAsUnifType<'_>` for type `TypeVarData`
|
|
build-and-test (windows-latest):
core/src/typecheck/mod.rs#L1216
conflicting implementations of trait `typecheck::ReifyAsUnifType<'_>` for type `Polarity`
|
|
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.
|