| Age | Commit message (Collapse) | Author |
|---|
|
|
|
of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.
|
|
This reverts the previous change. Not preprocessing opers turns out to make a
difference in what needs to be mentioned in restricted inheritance/imports.
|
|
|
|
The command "gf -server" now starts a simple HTTP server on port 41295,
providing a simple web API to the GF compiler. It currently support the
follwing operations:
* creating new temporary directories for grammar uploads,
* uploading grammars files for use in the GF shell,
* executing GF shell commands, and
* accessing static files.
This means that GF now depends on some additional networking related packages,
but they should be available and easy to install on all platforms. There is
also a new configuration flag "server" in gf.cabal, so GF will be compiled
without support for server mode if the extra packages are unavailable.
Note that running gf -server while connected to the internet can be a security
risk. To prevent unauthorized access to the rest of the system, it is
advisable to run the server in GF_RESTRICTED mode and as a user with suitably
restricted file permissions.
|
|
This is gonna be used by the android library to skip unused part of a
pgf file
|
|
|
|
|
|
in the abstract syntax
|
|
parse forest
|
|
|
|
well with metavariables and high-order abstract syntax
|
|
|
|
|
|
exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
|
|
|
|
|
|
from deprecated
|
