[RFC007] Migration of the typechecker - part II #6207
Annotations
10 errors
|
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#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`
|
|
Build:
core/src/cache.rs#L197
no method named `get` found for reference `&cache::WildcardsCache` in the current scope
|
|
Build:
core/src/cache.rs#L910
no method named `mk_type_ctxt` found for mutable reference `&mut Caches` in the current scope
|
|
Build:
core/src/cache.rs#L953
no method named `mk_type_ctxt` found for mutable reference `&mut Caches` in the current scope
|
Loading