summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2012-11-05unicode4k-changedvirk.shafqat
2012-10-30TransQuiz: use the grammars from the same serverhallgren
Unlike the other web apps in the cloud, the translation quiz was configured to use the grammars at http://www.grammaticalframework.org/grammars.
2012-10-29use prob_t instead of float in a few placeskr.angelov
2012-10-26Minibar: cursor over editable words is now a "hand"john.j.camilleri
This had been bugging me for ages!
2012-10-25forgot to add one #ifdefkr.angelov
2012-10-25GF.Grammar.Macros: add function collectPattOphallgren
collectPattOp :: (Patt -> [a]) -> Patt -> [a]
2012-10-25a major refactoring in the robust parser: bottom-up filtering and garbage ↵kr.angelov
collection for the chart
2012-10-24GF.Grammar.Macros: add function composPattOphallgren
For Patt, analogous to composOp for Term.
2012-10-24Compute.ConcreteNew: support variantshallgren
Also add a missing check for Predef values in apply.
2012-10-24GeneratePMCFG: prefix messages about "impossible" errors with 'Internal error:'hallgren
Just to make them easier to spot when wading through thousands of lines of warnings...
2012-10-23gf-cloud-api.html: document the new command=remakehallgren
Also improve the documentation of the responses to the upload and make commands.
2012-10-23gf -server: introduce command=remake for recompiling previously uploaded ↵hallgren
grammars Also remove some old commented out code.
2012-10-23cleanuphallgren
Simplify the implementation of writeUTF8File and use it in one more place. Remove unused imports left over after a previous change.
2012-10-22Add Chinese to the list of installed RGL languages and support it in the web ↵hallgren
apps Aarne says the Chinese resource grammar is complete, but not yet completely correct.
2012-10-19Refactor compileSourceModulehallgren
There was 55 lines of rather repetitive code with calls to 6 compiler passes. They have been replaced with 19 lines that call the 6 compiler passes plus 26 lines of helper functions.
2012-10-19Consistenly use SourceGrammar instead of [SourceModule] when calling ↵hallgren
compiler passes
2012-10-18Use NOINLINE for build info and darcs version infohallgren
... to avoid unnecessary recompilation of other modules.
2012-10-18gfse: grammars can now contain one-line descriptionshallgren
Also fixed two small problems with public grammars.
2012-10-16gfse: small fixhallgren
2012-10-16gfse: identify inherited grammars by their unique idhallgren
This helps avoiding problems if an inherited grammar is renamed, or if there is more than one grammar with the same name.
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-10-11add teyjus/simulator/builtins/builtins.hkr.angelov
2012-10-11added the forgoten libteyjus.pc.in file in the C runtimekr.angelov
2012-10-09gfse: adding a section about public grammars in about.htmlhallgren
2012-10-09gfse: show the grammar list if the currently selected grammar can not be loadedhallgren
Avoid showing a blank page if there is an unexpected problem with the grammars in localStorage.
2012-10-09gf -server: /parse command now supports input with character codes > 255hallgren
This enables the use of arbitrary Unicode character in text mode in GFSE.
2012-10-05Factor out code for setting the console encodinghallgren
Moved similar low-level code blocks in Main and GFI for setting the console encoding to the new module GF.System.Console.
2012-10-04simple translator: make it usable on iOS deviceshallgren
To make the popup menus accessible, use a simple trick to activate the simulate-hovering-by-tapping behaviour.
2012-10-04simple translator: bug fixhallgren
"Edit/Add a segment..." stopped working at some point. (Importing text still worked.)
2012-10-04gfse: various code improvements and prelimiary support for public grammarshallgren
2012-10-03gfse: fix a bug caused by sharing when copying a linearization function in ↵hallgren
the row view Functional programming is easier than imperative programming!
2012-10-03gfse: some refactoringhallgren
2012-10-03gfse: row view: add a button to copy a linearizationhallgren
When adding a new function, you can enter a linearization for one language and then copy it to the other languages with one button click.
2012-10-02gfse and cloud service documentation updatehallgren
2012-10-02gfse: you can now add new functions from the matrix viewhallgren
2012-10-02gfse: more intuitive buttons for switching between the column, matrix & row ↵hallgren
views
2012-10-01gfse: adding a "row" viewhallgren
Accessed by clicking on a function in the Abstract column in the matrix view.
2012-10-01gfse: matrix view improvementshallgren
+ You can click on a column header to switch to column view (i.e. the corresponding abstract/concrete syntax tab). + The categories and functions in the abstract syntax can be edited directly in the matrix view.
2012-09-30gfse: small linearization type display adjustmenthallgren
2012-09-30gfse: display "??" instead of "null" in linearization types when lincats are ↵hallgren
missing
2012-09-30gfse: show the types of linearization functions when hovering over their nameshallgren
2012-09-30PGF service & minibar: put a limit on the number of parse treeshallgren
+ In the PGF web service API, the commands parse, translate and translategroup now accept a limit parameter. It limits the number of parse trees returned. If no limit is given, the behaviour is backwards compatible, i.e. no limit is applied. + In minibar, the limit is now set to 25 by default. This change is based on a suggestion by Kaarel Kaljurand.
2012-09-28gfse & cloud improvementshallgren
+ Added "Symbolic" to the list of resource modules that can be opened. + Clicking on the name of an opened resource module now displays the list operations it provides. (Implemented using show_operations in the GF shell.) + Added a GF version info link to the cloud service start page.
2012-09-28GF shell, show_operations: nicer looking types for linearization functionshallgren
Adding a lock field to the result type of linearization functions. TODO: figure out how to add a lock field to the argument types too.
2012-09-27GF shell, show_operations: also show the types of linearization functionshallgren
This is a simple change in GF.Grammar.Lookup.allOpers, which is used only in the implementation of the show_operations command in the shell. This is useful when importing a concrete syntax (like LexiconEng) as a resource. However, the types don't always look as nice as I hoped...
2012-09-26SIO bug fixhallgren
Line breaks were missing when capturing stdout. (putStrLn acted like putStr.)
2012-09-26gf -server: add a GF version info requesthallgren
GF version info can now be obtained from http://localhost:41926/version Also removed some unused imports.
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.Infra.SIO.hs: adding the SIO monad (where S = Shell or Safe)hallgren
The SIO monad is a restriction of the IO monad with two purposes: + Access to arbitrary IO operations can be turned off by setting the environment variable GF_RESTRICTED. There is a limited set of IO operations that are considered safe and always allowed. + It allows output to stdout to be captured. This can be used in gf -server mode, where output of GF shell commands is made part of HTTP responses returned to clients.
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.