EvalExprsBase evaluates any apply-expressions in args and applies subst.
(args []ast.BaseTerm, subst ast.Subst)
| 47 | |
| 48 | // EvalExprsBase evaluates any apply-expressions in args and applies subst. |
| 49 | func EvalExprsBase(args []ast.BaseTerm, subst ast.Subst) ([]ast.BaseTerm, error) { |
| 50 | res := make([]ast.BaseTerm, len(args)) |
| 51 | for i, expr := range args { |
| 52 | r, err := EvalExpr(expr, subst) |
| 53 | if err != nil { |
| 54 | return nil, err |
| 55 | } |
| 56 | res[i] = r |
| 57 | } |
| 58 | return res, nil |
| 59 | } |
| 60 | |
| 61 | // EvalExprs evaluates any apply-expressions in args and applies subst. |
| 62 | func EvalExprs(args []ast.BaseTerm, subst ast.Subst) ([]ast.Constant, error) { |