From dd89364c2d4822cd3ae4a5a62aab91f6e0df071d Mon Sep 17 00:00:00 2001
From: John Clements <clements@racket-lang.org>
Date: Fri, 31 Mar 2006 20:00:14 +0000
Subject: [PATCH] ...

svn: r2558
---
 collects/stepper/private/annotate.ss | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/collects/stepper/private/annotate.ss b/collects/stepper/private/annotate.ss
index 0dc95f0f8b..57686413bc 100644
--- a/collects/stepper/private/annotate.ss
+++ b/collects/stepper/private/annotate.ss
@@ -1067,10 +1067,25 @@
     (define/contract annotate/top-level/acl2
       (syntax? . -> . syntax?)
       (lambda (exp)
+        (>>> exp)
         (syntax-case exp (begin define-values #%app)
           [(begin contract-thingy 
                   (begin body (begin)))
            #`(begin contract-thingy (begin #,(annotate/module-top-level #`body) (begin)))]
+          
+          #;(define-values
+            (lifted)
+            (begin
+              (#%app
+               contract/proc
+               provide/contract-contract-id-zp
+               zp
+               provide/contract-pos-module-source-zp
+               (#%app module-source-as-symbol (quote-syntax here))
+               (quote-syntax zp))))
+          #;(if (#%app null? (#%app lifted (#%datum . 3))) 'y 'x)
+
+          
           [else (annotate/module-top-level exp)]
           
           #;[else (begin