suzanne.soy/datalog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

base: suzanne.soy:fix-repl
Branches Tags
suzanne.soy:master
suzanne.soy:fix-repl
..
compare: suzanne.soy:master
Branches Tags
suzanne.soy:fix-repl
suzanne.soy:master

No commits in common. "fix-repl" and "master" have entirely different histories.
fix-repl ... master

2 changed files with 5 additions and 9 deletions
Show Stats Expand all files Collapse all files

2
.gitignore vendored
View File

@ -1,7 +1,5 @@
# Racket compiled files # Racket compiled files
compiled/ compiled/
# Generated documentation
/doc/
# common backups, autosaves, lock files, OS meta-files # common backups, autosaves, lock files, OS meta-files
*~ *~

12
lang/reader.rkt
View File

@ -18,16 +18,14 @@
[else (default key defval)])) [else (default key defval)]))
(require datalog/parse (require datalog/parse
datalog/private/compiler) datalog/private/compiler)
(define (call-with-intro thunk) (define (call-with-intro thunk)
(define intro (make-syntax-introducer #t)) (define intro (make-syntax-introducer #t))
(parameterize ([current-datalog-introducer intro]) (parameterize ([current-datalog-introducer intro])
(intro (thunk)))) (intro (thunk))))
(define (this-read-syntax [src #f] [in (current-input-port)]) (define (this-read-syntax [src #f] [in (current-input-port)])
((make-syntax-delta-introducer #'here #f) (quasisyntax/loc src
(quasisyntax/loc src #,(compile-program
#,(compile-program (parameterize ([current-source-name src])
(parameterize ([current-source-name src]) (parse-program in))))))
(parse-program in))))
'remove)))