Propagate uint32 arguments types in ast

[hesining]

package main

import (
	"fmt"
	"github.com/antonmedv/expr"
)

type Tweet struct {
	Len int
}

type Env struct {
	Tweets []Tweet
}

func (e *Env) IsTestXXX(objID uint32) (rslt bool) {
	fmt.Println(objID)
	return true
}

func main() {
	code := `IsTestXXX(111)`

	env := &Env{
		Tweets: []Tweet{{42}, {98}, {69}},
	}

	program, err := expr.Compile(code, expr.Env(env))
	if err != nil {
		panic(err)
	}

	fmt.Println(program.Source.Content())

	output, err := expr.Run(program, env)
	if err != nil {
		panic(err)
	}

	fmt.Println(output)
}

receve error msg

panic: cannot use int as argument (type uint32) to call IsTestXXX  (1:11)
 | IsTestXXX(111)                                                        
 | ..........^    

[antonmedv]

Right now Expr if it sees \d+ assumes that it is int. If a function takes float64, Expr will convert this int to float64 as well. We can add the same logic for other types like uint32.

[hesining]

Right now Expr if it sees \d+ assumes that it is int. If a function takes float64, Expr will convert this int to float64 as well. We can add the same logic for other types like uint32.

OK, I think I can try to fix it , give me some time.

[hesining]

#438

i fix it here, please check the code.

[hesining]

@antonmedv
There are some errors reported by fuzz. Can you help me deal with them? There should be no problem with the code.

[antonmedv]

Will take a look

[hesining]

Will take a look

the code passed the verification, please take a look. @antonmedv

#438

[antonmedv]

Done https://github.com/antonmedv/expr/releases/tag/v1.15.2