hallgren
d066619b8f
GF.Infra.UseIO: add functions readBinaryFile & writeBinaryFile
2011-04-13 14:44:18 +00:00
hallgren
1b08ca8a61
Add build info to the GF shell welcome message
2011-04-04 19:52:07 +00:00
gdetrez
d7ae73f1c7
Adding an option to the gf compiler to add an index to pgf files
...
This is gonna be used by the android library to skip unused part of a
pgf file
2010-12-11 16:36:30 +00:00
aarne
7361ddea45
make it possible to override opers defined in an interface by syntax 'instance Foo of Bar - [f,g,h]'
2011-03-12 11:24:14 +00:00
hallgren
2c1feccd17
GF shell restricted mode
...
By setting the environment variable GF_RESTRICTED before starting GF, the shell
will be run in restricted mode. This will prevent the GF shell from starting
arbitrary system commands (most uses of System.Cmd.system are blocked) and
writing arbitrary files (most commands that use writeFile et al are blocked).
Restricted mode is intended minimize the potential security risks involved
in allowing public access to the GF shell over the internet. It should be used
in conjuction with system level protection mechanisms (e.g. file permissions)
to make sure that a publicly acessible GF shell does not give access to parts
of the system that should not be publicly accessible.
2011-03-03 15:42:57 +00:00
aarne
61e4e9ac20
updated documentation of pg -printer formats
2010-12-14 22:05:53 +00:00
aarne
9c86b62212
documented the pgf -printer values for help
2010-12-14 20:40:17 +00:00
krasimir
cb8795c222
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
2010-10-02 13:03:57 +00:00
krasimir
b0e110cf4f
native representation for HOAS in PMCFG and incremental type checking of the parse forest
2010-08-09 10:10:08 +00:00
krasimir
5ae7be358d
redesign the open-literals API
2010-07-01 08:51:59 +00:00
krasimir
d6f32b3bcd
dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax
2010-06-09 11:32:59 +00:00
krasimir
68de1cead3
wf,vt,vp,vd,aw should store files in utf8
2010-04-28 17:37:53 +00:00
krasimir
6313244eac
use the native unicode support from GHC 6.12
2010-04-19 09:38:36 +00:00
aarne
ba13052d31
dependency graph can be restricted to some modules; added help dg
2010-04-06 08:53:44 +00:00
krasimir
1e51690b71
added codepage for Turkish
2010-03-23 13:44:17 +00:00
krasimir
bf74f50733
store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet
2010-03-22 21:15:29 +00:00
krasimir
fba592ecf8
added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
2010-03-20 07:26:53 +00:00
krasimir
be6465a2eb
refactor GF.Infra.Modules for better error messages
2010-01-31 15:54:25 +00:00
krasimir
9b362ff231
PGF is now real synchronous PMCFG
2010-01-17 21:35:36 +00:00
krasimir
c036459214
remove the old parsing code and the -erasing=on flag
2009-12-14 10:54:22 +00:00
krasimir
f85232947e
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
2009-12-13 18:50:29 +00:00
