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

lang: core: fmt: Allow type unification variables for format

Browse Source 
This allows some simple cases.
This commit is contained in:
James Shubin
2024-08-21 19:00:25 -04:00
parent da4f69cd87
commit 82cac572ca
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lang/core/fmt/printf_func.go
View File

@@ -124,7 +124,7 @@ func (obj *PrintfFunc) FuncInfer(partialType *types.Type, partialValues []types.
// programming error? // programming error?
return nil, nil, fmt.Errorf("must have at least one arg") return nil, nil, fmt.Errorf("must have at least one arg")
} }
if typ := partialType.Map[partialType.Ord[0]]; typ != nil && typ.Cmp(types.TypeStr) != nil { if typ := partialType.Map[partialType.Ord[0]]; typ != nil && typ.Cmp(types.TypeStr) != nil && !typ.HasUni() {
return nil, nil, fmt.Errorf("format string was a %s", typ) return nil, nil, fmt.Errorf("format string was a %s", typ)
} }
@@ -193,7 +193,7 @@ func (obj *PrintfFunc) FuncInfer(partialType *types.Type, partialValues []types.
} }
// Check the format string is consistent with what we've found earlier! // Check the format string is consistent with what we've found earlier!
if i := 0; typList[i] != nil && typList[i].Cmp(types.TypeStr) != nil { if i := 0; typList[i] != nil && typList[i].Cmp(types.TypeStr) != nil && !typList[i].HasUni() {
return nil, nil, fmt.Errorf("inconsistent type at arg index %d (format string)", i) return nil, nil, fmt.Errorf("inconsistent type at arg index %d (format string)", i)
} }
typList[0] = types.TypeStr // format string (zeroth arg) typList[0] = types.TypeStr // format string (zeroth arg)