Ignore /doc/ folder

Fix GitHub issue #2 : REPL does not work with #lang datalog
2016-04-01 13:31:30 +02:00 · 2016-04-01 13:31:23 +02:00
2 changed files with 9 additions and 5 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,5 +1,7 @@
 # Racket compiled files
 compiled/
+# Generated documentation
+/doc/

 # common backups, autosaves, lock files, OS meta-files
 *~
--- a/lang/reader.rkt
+++ b/lang/reader.rkt
@ -25,7 +25,9 @@
      (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)))
Author	SHA1	Message	Date
Georges Dupéron	cc1dbf6d7f	Ignore /doc/ folder	2016-04-01 13:31:30 +02:00
Georges Dupéron	a7b932630a	Fix GitHub issue #2 : REPL does not work with #lang datalog	2016-04-01 13:31:23 +02:00