racket/collects/datalog
Robby Findler bf95ee1052 Adjust datalog to cooperate with check syntax a little bit more.
Specifically:
 - make predicate symbols and variables be original (and,
   in the former case, have srclocs)
 - remove the originality in the quoted syntax constants
   that the expansion introduces

I think there is probably something better that should be done
with those introduced syntax constants, possibly relacing
them with #f, or possibly replacing them with source location
lists, but I'm not sure how they are used, so I've just left
them in there.

(Also, very minor Rackety in check syntax)
2012-06-01 04:55:04 -05:00
..
lang A long overdue scan to eliminate files without terminating newlines. 2011-06-28 02:01:41 -04:00
private Adjust datalog to cooperate with check syntax a little bit more. 2012-06-01 04:55:04 -05:00
scribblings Adding serialization of theories 2011-07-26 08:22:19 -04:00
sexp A long overdue scan to eliminate files without terminating newlines. 2011-06-28 02:01:41 -04:00
tool A long overdue scan to eliminate files without terminating newlines. 2011-06-28 02:01:41 -04:00
ast.rkt Adjust datalog to cooperate with check syntax a little bit more. 2012-06-01 04:55:04 -05:00
eval.rkt Converting away from racket to racket/base 2011-08-15 10:06:21 -06:00
info.rkt Some info.rkt cleanups. 2011-08-29 16:33:13 -04:00
main.rkt Converting away from racket to racket/base 2011-08-15 10:06:21 -06:00
parse.rkt Adjust datalog to cooperate with check syntax a little bit more. 2012-06-01 04:55:04 -05:00
pretty.rkt Converting away from racket to racket/base 2011-08-15 10:06:21 -06:00
runtime.rkt Converting away from racket to racket/base 2011-08-15 10:06:21 -06:00
serialize.rkt Big newline at EOF scan. 2012-02-29 00:28:11 -05:00
stx.rkt Adjust datalog to cooperate with check syntax a little bit more. 2012-06-01 04:55:04 -05:00