[RFC007] Migration of the typechecker - part II #6201
Annotations
10 errors
|
Build:
core/src/eval/mod.rs#L1060
implicit elided lifetime not allowed here
|
|
Build:
core/src/program.rs#L181
missing lifetime specifier
|
|
Build:
core/src/repl/mod.rs#L91
missing lifetime specifier
|
|
Build:
core/src/repl/mod.rs#L94
missing lifetime specifier
|
|
Build:
core/src/repl/mod.rs#L96
missing lifetime specifier
|
|
Build:
core/src/repl/mod.rs#L138
cannot find function `type_check` in module `typecheck`
|
|
Build:
core/src/repl/mod.rs#L308
cannot find function `type_check` in module `typecheck`
|
|
Build:
core/src/repl/mod.rs#L327
cannot find function `apparent_type` in module `typecheck`
|
|
Build:
core/src/typecheck/mod.rs#L1210
conflicting implementations of trait `typecheck::ReifyAsUnifType<'_>` for type `TypeVarData`
|
|
Build:
core/src/typecheck/mod.rs#L1216
conflicting implementations of trait `typecheck::ReifyAsUnifType<'_>` for type `Polarity`
|
Loading