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

lang: core: fmt: Catch printf edge case

Browse Source
This commit is contained in:
James Shubin
2025-05-24 21:03:19 -04:00
parent 861ba50f9c
commit 876834ff29
2 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
lang/core/fmt/printf.go
View File

@@ -169,6 +169,9 @@ func (obj *PrintfFunc) FuncInfer(partialType *types.Type, partialValues []types.
if err != nil { if err != nil {
return nil, nil, errwrap.Wrapf(err, "could not parse format string") return nil, nil, errwrap.Wrapf(err, "could not parse format string")
} }
if a, l := len(typList)-1, len(formatList); a != l {
return nil, nil, fmt.Errorf("number of args (%d) doesn't match format string verb count (%d)", a, l)
}
for i, x := range typList { for i, x := range typList {
if i == 0 { // format string if i == 0 { // format string
continue continue

2
lang/interpret_test/TestAstFunc2/printfunificationerr0.txtar
View File

@@ -2,4 +2,4 @@
import "fmt" import "fmt"
test fmt.printf("%d%d", 42) {} # should not pass, missing second int test fmt.printf("%d%d", 42) {} # should not pass, missing second int
-- OUTPUT -- -- OUTPUT --
# err: errUnify: type error: str != list: /main.mcl @ 2:1-2:30 # err: errUnify: func `printf` infer error: number of args (1) doesn't match format string verb count (2)