Fix GitHub issue #2: REPL does not work with #lang datalog

This commit is contained in:
Georges Dupéron 2016-03-31 21:27:53 +02:00
parent 5930fd8231
commit a7b932630a

View File

@ -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)))