eval is actually compile

* module/ice-9/boot-9.scm (eval): Here at the tail of boot-9, replace
  the root definition of `eval' with a procedure that will call
  `compile'.

* test-suite/tests/syntax.test ("top-level define"):
  ("internal define"): Run unmemoization tests in the interpreter, using
  primitive-eval.

module/ice-9/boot-9.scm

@@ -3492,6 +3492,14 @@ module '(ice-9 q) '(make-q q-length))}."
 
 
 
+;;; Replace the C evaluator with the compiler.
+;;;
+
+(define (eval x env)
+  ((@ (system base compile) compile) x #:from 'scheme #:to 'value #:env env))
+
+
+
 ;;; Place the user in the guile-user module.
 ;;;
 

test-suite/tests/syntax.test

@@ -1,6 +1,6 @@
 ;;;; syntax.test --- test suite for Guile's syntactic forms    -*- scheme -*-
 ;;;;
-;;;; Copyright (C) 2001,2003,2004, 2005, 2006 Free Software Foundation, Inc.
+;;;; Copyright (C) 2001,2003,2004, 2005, 2006, 2009 Free Software Foundation, Inc.
 ;;;; 
 ;;;; This library is free software; you can redistribute it and/or
 ;;;; modify it under the terms of the GNU Lesser General Public
@@ -807,20 +807,19 @@
   (with-test-prefix "unmemoization"
 
     (pass-if "definition unmemoized without prior execution"
-      (eval '(begin 
+      (primitive-eval '(begin 
-               (define (blub) (cons ('(1 . 2)) 2))
+                         (define (blub) (cons ('(1 . 2)) 2))
-               (equal?
+                         (equal?
-                 (procedure-source blub)
+                          (procedure-source blub)
-                 '(lambda () (cons ('(1 . 2)) 2))))
+                          '(lambda () (cons ('(1 . 2)) 2))))))
-            (interaction-environment)))
+    
 
     (pass-if "definition with documentation unmemoized without prior execution"
-      (eval '(begin 
+      (primitive-eval '(begin 
-               (define (blub) "Comment" (cons ('(1 . 2)) 2))
+                         (define (blub) "Comment" (cons ('(1 . 2)) 2))
-               (equal?
+                         (equal?
-                 (procedure-source blub)
+                          (procedure-source blub)
-                 '(lambda () "Comment" (cons ('(1 . 2)) 2))))
+                          '(lambda () "Comment" (cons ('(1 . 2)) 2)))))))
-            (interaction-environment))))
   
   (with-test-prefix "missing or extra expressions"
 
@@ -896,16 +895,15 @@
           (interaction-environment)))
 
   (pass-if "unmemoization"
-    (eval '(begin
+    (primitive-eval '(begin
-             (define (foo) 
+                       (define (foo) 
-               (define (bar)
+                         (define (bar)
-                 'ok)
+                           'ok)
-               (bar))
+                         (bar))
-             (foo)
+                       (foo)
-             (matches?
+                       (matches?
-              (procedure-source foo)
+                        (procedure-source foo)
-              (lambda () (letrec ((_ (lambda () (quote ok)))) (_)))))
+                        (lambda () (letrec ((_ (lambda () (quote ok)))) (_))))))))
-          (current-module))))
 
 (with-test-prefix "set!"