This is a potentially weird case and decision on what to do about it. In
general, when we print out answers, we try to make sure that they look
like valid datalog. In this case, a Racket value is being used a Datalog
constant (which is legal and part of the #lang datalog embedding), so we
can't know what syntax was used to get it in the first place... so by
using a ~v we get a distinctive printing that shows it isn't datalog.
On the other hand, I could change #lang datalog so that it's environment
is empty and this program wouldn't be referring to '()
A package like "gui" does not depend on a package like "gui-test",
which means that you have to specifically ask for a test package if
you want the tests. A new "main-distribution-test" package
aggregates the tests for packages that are in "main-distribution".
The "plt-services" package, meanwhile, depends on the
"main-distribution-test" package, which means that all tests are
compiled by default for an in-place build.
original commit: d50d0f8bcab260f404049029b77407e0222f588a
Left one dependency broken: "drracket" currently depends on "htdp" for
a test. That needs to be fixed by removing the dependency (moving the
test to "htdp?), instead of changing the declared dependencies.
original commit: 51290fd2a95def6bb3b6d3d735cb62444e157553
A package's "info.rkt" file should define `collection' as a
string to name a single-collection package's collection, or as
the symbol 'multi to declare the package as multi-collection.
If `collection' is 'same-as-pkg, then the package name is used
as the collection name.
The default for `collection' is 'multi for now, but the intent
is to change the default to 'same-as-pkg after a conversion
period. Also, support for a `single-collection' definition remains
in place, but it wil be removed.
original commit: c738a6aa3eee89a82d577dd35c70eca8ed32f5b4
The "racket" directory contains a pared-back version of the
repository, roughly.
The "pkgs" directory everything else in the repository, but
organized into packages.
original commit: b2ebb0a28bf8136e75cd98316c22fe54c30eacb2
information representation.
This should make datalog work better with compiled files and it
should also avoid an O(n^2) problem in the way it expands
original commit: 058504afbdfeaa6a606bee9b9f68b3355f5074af
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)
original commit: bf95ee10523daabea4925073ff035bf57ecad59f
added tutorial, racket categories
relabeled some other categories
normalized manual names: de-bolded, changed some names
original commit: 1b702a2ae32aba835f7467ced6b203902db0ccd9
Also, updates some of the mzlib files to point at `racket/*' libraries
rather than to `scheme/*' ones.
original commit: ac26fe75546b5182d78f18c2cd882f0f440849e2
