summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2012-11-16new-comp: rewrite f (x|y) into (f x|f y)hallgren
With this change, all languages in molto/mgl/mixture except German and Polish can be compiled.
2012-11-16Syntax editor: select subset of available languagesjohn.j.camilleri
Also added a basic readme file with a list of todo's
2012-11-15Syntax editor: jump to next hole in treejohn.j.camilleri
2012-11-15Syntax editor: fix bug in Firefox, Seamonkeyjohn.j.camilleri
2012-11-14Add flag --document-root for user with gf --serverhallgren
This can make it easier to test cloud service updates before installing them.
2012-11-14GF usage message fixeshallgren
Change the command name from gfc to gf in the usage message header. Correct spelling of "overide" to "override" in -gf-lib-path description.
2012-11-14revised heuristic in the statistical parserkr.angelov
2012-11-13Add first demo of new syntax editorjohn.j.camilleri
As part of the GF cloud stuff, it can be accessed from http://cloud.grammaticalframework.org/syntax-editor/editor.html
2012-11-13Adding a new experimental partial evalutatorhallgren
GF.Compile.Compute.ConcreteNew + two new modules contain a new partial evaluator intended to solve some performance problems with the old partial evalutator in GF.Compile.Compute.ConcreteLazy. It has been around for a while, but is now complete enough to compile the RGL and the Phrasebook. The old partial evaluator is still used by default. The new one can be activated in two ways: - by using the command line option -new-comp when invoking GF. - by using cabal configure -fnew-comp to make -new-comp the default. In this case you can also use the command line option -old-comp to revert to the old partial evaluator. In the GF shell, the cc command uses the old evaluator regardless of -new-comp for now, but you can use "cc -new ..." to invoke the new evaluator. With -new-comp, computations happen in GF.Compile.GeneratePMCFG instead of GF.Compile.Optimize. This is implemented by testing the flag optNewComp in both modules, to omit calls to the old partial evaluator from GF.Compile.Optimize and add calls to the new partial evaluator in GF.Compile.GeneratePMCFG. This also means that -new-comp effectively implies -noexpand. In GF.Compile.CheckGrammar, there is a check that restricted inheritance is used correctly. However, when -noexpand is used, this check causes unexpected errors, so it has been converted to generate warnings, for now. -new-comp no longer enables the new type checker in GF.Compile.Typeckeck.ConcreteNew. The GF version number has been bumped to 3.3.10-darcs
2012-11-13bugfix in the statistical parserkr.angelov
2012-11-12two simple heuristics which speed up the statistical parser more than seven ↵kr.angelov
times.
2012-11-12a simple refactoring in the statistical parserkr.angelov
2012-11-12more counters in the profiler for the statistical parserkr.angelov
2012-11-12now we store the state instead of the offset for every continuation in the ↵kr.angelov
chart for the statistical parser
2012-11-12in the statistical parser: move the outside probability from the parse items ↵kr.angelov
to their continuation. this makes the value slot shared between many items
2012-11-12small refactoring in the C runtimekr.angelov
2012-11-12use size_t consistently as the type for constituent indices in the C runtimekr.angelov
2012-11-12implemented gu_map_count in runtime/c/gu/map.ckr.angelov
2012-11-08Eliminate warnings about deprecated use of catch and tryhallgren
This is also needed for compatibility with GHC 7.6.
2012-11-07GF.Grammar.PatternMatch: relax overly restrictive type signatureshallgren
2012-11-07Some changed/new utility functionshallgren
GF.Data.Utilities: Rename mapFst to apFst, mapSnd to apSnd. Add apBoth, mapFst, mapSnd, mapBoth. GF.Data.Operations: Remove onSnd (same as apSnd)
2012-11-06gf -server: make it possible to pass arbitrary flags/options to gf when ↵hallgren
compiling grammars For example, you can add -optimize-pgf: http://localhost:41296/cloud?dir=...&command=remake&-optimize-pgf=&Foods2Eng.gf=&Foods2Swe.gf=
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.