7 Commits

Author	SHA1	Message	Date
hallgren	15678a0fce	gf -server[=port] ... You can now specify which port the HTTP server should run on in server mode. The default is 41296.	2011-12-14 15:28:27 +00:00
kr.angelov	61c16f2eb2	more structured format for errors and warnings from the compiler	2011-11-15 13:33:44 +00:00
kr.angelov	7be8566f35	the new design for -tags	2011-11-14 16:08:56 +00:00
kr.angelov	5fe49ed9f7	Now the compiler maintains more precise information for the source locations of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.	2011-11-02 11:44:59 +00:00
hallgren	0a27aaf1e6	Added a preliminary "gf -server" mode. ... 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.	2011-04-13 14:58:01 +00:00
krasimir	6313244eac	use the native unicode support from GHC 6.12	2010-04-19 09:38:36 +00:00
krasimir	f85232947e	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00