From a7b932630ac4bd32117623fd66b0bc1d21830d5f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Thu, 31 Mar 2016 21:27:53 +0200
Subject: [PATCH] Fix GitHub issue #2: REPL does not work with #lang datalog

---
 lang/reader.rkt | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/lang/reader.rkt b/lang/reader.rkt
index 7d277a1..fed2796 100644
--- a/lang/reader.rkt
+++ b/lang/reader.rkt
@@ -18,14 +18,16 @@
              [else (default key defval)]))
   (require datalog/parse
            datalog/private/compiler)
-
+  
   (define (call-with-intro thunk)
     (define intro (make-syntax-introducer #t))
     (parameterize ([current-datalog-introducer intro])
       (intro (thunk))))
   
   (define (this-read-syntax [src #f] [in (current-input-port)])
-    (quasisyntax/loc src
-      #,(compile-program
-         (parameterize ([current-source-name src])
-           (parse-program in))))))
+    ((make-syntax-delta-introducer #'here #f)
+     (quasisyntax/loc src
+       #,(compile-program
+          (parameterize ([current-source-name src])
+            (parse-program in))))
+     'remove)))