9 Commits

Author	SHA1	Message	Date
hallgren	28f87140c7	Factor out code for setting the console encoding ... Moved similar low-level code blocks in Main and GFI for setting the console encoding to the new module GF.System.Console.	2012-10-05 12:54:49 +00:00
hallgren	1aecfe605b	More detailed version info in the output of "gf -version"	2012-06-08 11:17:46 +00:00
hallgren	20b4ff07e3	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	48558197a8	more structured format for errors and warnings from the compiler	2011-11-15 13:33:44 +00:00
kr.angelov	e161f93f4d	the new design for -tags	2011-11-14 16:08:56 +00:00
kr.angelov	bc35626489	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	3488632558	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	0b6b30d4a8	use the native unicode support from GHC 6.12	2010-04-19 09:38:36 +00:00
krasimir	c92f9d1c0c	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00