language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-03 10:23:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'main' into rwlock

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-06-12 00:05:01 +09:00
commit f23a178737
9 changed files with 189 additions and 74 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/context/generalize.rs
View file

@ -526,7 +526,7 @@ impl<'c, 'q, 'l, L: Locational> Dereferencer<'c, 'q, 'l, L> {
// e.g. fv == ?T(<: Int, :> Add(?T))
// fv == ?T(:> ?T.Output, <: Add(Int))
let fv_t = Type::FreeVar(fv.clone());
match (sub_t.contains(&fv_t), super_t.contains(&fv_t)) {
match (sub_t.contains_type(&fv_t), super_t.contains_type(&fv_t)) {
// REVIEW: to prevent infinite recursion, but this may cause a nonsense error
(true, true) => {
fv.dummy_link();