lourenco/mgmt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lang: unification: Add partial func knowledge to solved

Browse Source 
This performs the same task as the previous two commits, but it also
adds partial information when solving a func.
This commit is contained in:
James Shubin
2023-08-20 20:50:41 -04:00
parent 7d29efeb33
commit 33366469a3
1 changed files with 20 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
lang/unification/simplesolver.go
View File

@@ -621,6 +621,16 @@ Loop:
t, exists := funcPartials[eq.Expr1][y]
if !exists {
funcPartials[eq.Expr1][y] = typ // learn!
// Even though this is only a partial learn, we should still add it to the solved information!
if newTyp, exists := solved[y]; !exists {
solved[y] = typ // yay, we learned something!
//used = append(used, i) // mark equality as used up when complete!
logf("%s: solved partial func arg equality", Name)
} else if err := newTyp.Cmp(typ); err != nil {
return nil, errwrap.Wrapf(err, "can't unify, invariant illogicality with partial func arg equality")
}
continue
}
if err := t.Cmp(typ); err != nil {
@@ -635,6 +645,16 @@ Loop:
t, exists := funcPartials[eq.Expr1][y]
if !exists {
funcPartials[eq.Expr1][y] = typ // learn!
// Even though this is only a partial learn, we should still add it to the solved information!
if newTyp, exists := solved[y]; !exists {
solved[y] = typ // yay, we learned something!
//used = append(used, i) // mark equality as used up when complete!
logf("%s: solved partial func return equality", Name)
} else if err := newTyp.Cmp(typ); err != nil {
return nil, errwrap.Wrapf(err, "can't unify, invariant illogicality with partial func return equality")
}
continue
}
if err := t.Cmp(typ); err != nil {