[replying to list this time - realised my last example below is probably what you intended]
it think it does work - the error seems reasonable to me.
what are you trying to do?
(define (func x y) (+ x y)) (eval (func 1 2))
3 1> (eval '(func 1 2)) 3
(eval `(func ,@'(1 2)))
3 1> (eval '(cons 4 (func 1 2))) (4 . 3) 1> (eval (cons 'func '(1 2))) 3
(eval (func 1 2)) is (eval 3) which is 3 (eval '(func 1 2)) evaluates the quoted expression (eval `(func ,@'(1 2))) is (eval '(func 1 2)) (eval (cons 'func '(1 2))) is (eval (func 1 2))
andrew