summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Command/Commands.hs
AgeCommit message (Collapse)Author
2013-02-03pg -lexc now writes a list of multichar symbols and a title ("Root") for the ↵aarne
lexicon, as required by Xerox lexc
2012-11-22better visualization of parse treespeter.ljunglof
2012-10-16GF.Command.Command: turn CommandOutput into a newtypehallgren
The output from commands is represented as ([Expr],String), where the [Expr] is used when data is piped between commands and the String is used for the final output. The String can represent the same list of trees as the [Expr] and/or contain diagnostic information. Sometimes the data that is piped between commands is not a list of trees, but e.g. a string or a list of strings. In those cases, functions like fromStrings and toStrings are used to encode the data as a [Expr]. This patch introduces a newtype for CommandOutput and collects the functions dealing with command output in one place to make it clearer what is going on. It also makes it easier to change to a more direct representation of piped data, and make pipes more "type safe", if desired.
2012-09-25Use the SIO monad in the GF shellhallgren
+ The restrictions on arbitrary IO when GF is running in restricted mode is now enforced in the types. + This hopefully also solves an intermittent problem when accessing the GF shell through the web API provided by gf -server. This was visible in the Simple Translation Tool and probably caused by some low-level bug in the GHC IO libraries.
2012-09-25GF.Command.Commands: allCommands is now a constanthallgren
The dependency on PGFEnv has been moved from the list to the exec function of the commands in the list. This means that the help command no longer needs to generate a new list of commands and that the state of the shell (type GF.Command.Interpreter.CommandEnv) no longer needs to contain the list of commands.
2012-08-29A basic infrastructure for generating Teyjus bytecode from the GF abstract ↵kr.angelov
syntax
2012-06-10command option ma -known to drop unknown wordsaarne
2011-11-01Fixed a typo in the shell online helpNick Frolov
2011-09-25structured examples in help into pairs (command,explanation)aarne
2011-09-22the sd -size command now shows the size of all code needed for defining an operaarne
2011-09-22documented the ss commandaarne
2011-09-21commands ss to show source, and sd to show the dependencies of a constantaarne
2011-09-15Add a command name header to the 'help -t2t' outputhallgren
2011-09-14Omit empty sections in gf help outputhallgren
2011-09-14GF shell command 'help -t2t' outputs help in txt2tags formathallgren
2011-08-28import command now gives priority to new abstract syntax, and discards the ↵aarne
old concretes if they are for the old abstract; the new priority is implemented in PGF.Data.unionPGF
2011-08-25reload command in shellaarne
2011-05-02transliteration via configuration file: ps -to=file or ps -from=fileaarne
2011-04-08GF shell restricted mode: found one more writeFile that should be restrictedhallgren
2011-02-10Adding a basic lexicon-based tokenizer and the asociated command in gf shellgdetrez
2011-03-12generalized pt -transfer so that it goes into subtrees (naive implementation ↵aarne
in TreeOperations; using PGF.Expr.match would be better); example given in 'h pt'
2011-03-04switched the upper and lower parts of lexc entries to their standard orderaarne
2011-03-03GF shell restricted modehallgren
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-03print lexicon in Xerox LEXC format: pg -lexcaarne
2011-03-01corrected help for l commandaarne
2011-02-28the command show_operations to inspect opers in scopeaarne
2011-02-25command ga moved to option 'aw -giza'aarne
2011-02-06a simple clitic analysis command 'ca'aarne
2010-12-14updated documentation of pg -printer formatsaarne
2010-12-14documented the pgf -printer values for helpaarne
2010-12-14option cc -list addedaarne
2010-12-10preparing resource api for multilingual documentationaarne
2010-12-06simple refactoring in PGF.Macros and relatedkrasimir
2010-12-07optimize-pgf and file flag in pg -pgfaarne
2010-12-07moved PGF.ToApi to GF.Compile.ToAPIaarne
2010-12-07shell command pg -pgf writes current pgf into a fileaarne
2010-12-06printing option -api in the eb commandaarne
2010-12-06no more IO in the syntax to API translatorra.monique
2010-12-06vt -api with conversion to resource API namesaarne
2010-11-30format .gfm for multiple modules in the same file; includes lines with ↵aarne
;-separated words
2010-11-22lang flag in align_words sets the list of languagesaarne
2010-11-24command ai in the shell now shows the probability of the treekrasimir
2010-11-17fixed some bugs in translation quizaarne
2010-10-31added giza Alignments with command ga and merged the rendering algorithm for ↵ramona.enache
graphviz and giza alignments
2010-10-18added explicit depth parameter to the parsing API and the corresponding ↵krasimir
command in the shell
2010-10-12added option -depth to command grkrasimir
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ↵krasimir
in the abstract syntax
2010-09-22the first revision of exhaustive and random generation with dependent types. ↵krasimir
Still not quite stable.
2010-09-22cleanup and export the Probabilistic API from PGFkrasimir
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ↵krasimir
parse forest