summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2014-12-11update the nerc for the changes in the grammarkr.angelov
2014-12-11updates in app help file, e.g. the app nameaarne
2014-12-11Work in progress on translating linearization functions to Haskellhallgren
The translation is currently good enough to translate all concrete syntaxes of the Foods and Letter grammars, and some concrete syntaxes of the Phrasebook grammar (e.g. PhrasebookEng & PhrasebookSpa works, but there are problems with e.g. PhrasebookSwe and PhrasebookChi) This functionality is enabled by running gf -make -output-format=haskell -haskell=concrete ... TODO: - variants - pre { ... } - eta expansion of linearization functions - record subtyping can still cause type errors in the Haskell code in some cases - reduce code large tables
2014-12-11GF.Grammar.Macros: generalize the type of collectOphallgren
New type: collectOp :: Monoid m => (Term -> m) -> Term -> m
2014-12-11GF.Server: remove some code duplicationhallgren
2014-12-11back to familiar you in Hindikr.angelov
2014-12-11update gf-translator.svgkr.angelov
2014-12-10edit the presentation imagekr.angelov
2014-12-10rename HLCompiler to GFTranslatorkr.angelov
2014-12-10added presentation image for the appkr.angelov
2014-12-09make sure that the app doesn't crash even if nonExist is used somewhere in ↵kr.angelov
the grammars
2014-12-09make sure that neither I nor I'm is recognized as name in Englishkr.angelov
2014-12-08bugfix for unknown wordskr.angelov
2014-12-08Haddock documentation: expose exportPGF, some other small improvementshallgren
2014-12-08restore the visualisation of abstract trees from the appkr.angelov
2014-12-08fix for the unknown wordskr.angelov
2014-12-08fix typokr.angelov
2014-12-08register the callback for the Symb categorykr.angelov
2014-12-08added a callback for unknown wordskr.angelov
2014-12-07some edits in app help fileaarne
2014-12-05Eliminate the record extension operator from the Value type returned by the ↵hallgren
partial evaluator It was used only in cases where a lock field needed to be added to a run-time variable, like e.g. in examples/phrasebook/SentencesTha.gf: lin PGreetingMale g = mkText (lin Text g) (lin Text (ss "ครับ")) | g ; PGreetingFemale g = mkText (lin Text g) (lin Text (ss "ค่ะ")) | g ; But lock fields are only meaningful during type checking and can safely be ignored in later passes.
2014-12-05fixes in app help file ; commented out fake TTS for Bul and Cat ; remove []_ ↵aarne
from output with unlinearized functions, so that speech doesn't get garbled.
2014-12-04quick reference text prepended to app help fileaarne
2014-12-03Wide Coverage Translation Demo web app: updated to use App12.pgfhallgren
2014-12-03Catalan in android app builder ; updated app document with Cat ; substitute ↵aarne
voice output for Bulgarian and Catalan ; replaced brackets in unknown words by capitalization (for better speech output ; this is experimental)
2014-12-01faster translation in the appkr.angelov
2014-12-01better color filter to indicate listeningkr.angelov
2014-12-01added visual feedback to indicate that the app is not listening anymorekr.angelov
2014-12-01fix in nordic.xmlkr.angelov
2014-12-01added special nordic keyboard for Finnish and Swedishkr.angelov
2014-12-01fix the last patchkr.angelov
2014-12-01a small optimization in the PGF parser which gives me ~5% speed upkr.angelov
2014-12-01fix in GNU lightning to enable the compilation of two of the the floating ↵kr.angelov
point operations.
2014-12-01fix in linearizer.h to make jpgf compilablekr.angelov
2014-11-27fix in linearizer.h which resolves a warningkr.angelov
2014-11-27remove pgf/parser.hkr.angelov
2014-11-26fix the handling of the heuristic factor. it was broken when I added the ↵kr.angelov
BIND token which means that the App grammar was running about 2-3 times slower.
2014-11-10Documentation improvements and cleanup relating to the IOE monadhallgren
Renamed appIOE to tryIOE (it is analogous to 'try' in the standard libraries). Removed unused IOE operations & documented the remaining ones. Removed/simplified superfluous uses of IOE operations.
2014-11-10Some work to improve the structure of the haddock documenationhallgren
2014-11-07expand the JIT window for x64kr.angelov
2014-10-31a skeletal module for higher-order pattern unification in the C runtimekr.angelov
2014-10-31now (+) in the abstract syntax works, i.e. it knows how to deal with partial ↵kr.angelov
sums
2014-10-30a more efficient tail call by using the new TUCK instructionkr.angelov
2014-10-28Use terminfo to highlight warnings and errors in blue and redhallgren
This replaces the hardwired ANSI escape codes that were accidentally included in a previous patch. This adds a dependency on terminfo, but this should be unproblematic, since haskeline already depends on the same underlying C library. The color highlighting is omitted on Windows.
2014-10-28Show paths relative to the current directory in progress reportshallgren
It is much nicer to see something like - compiling FoodsSwe.gf... write file FoodsSwe.gfo - compiling FoodsTha.gf... write file FoodsTha.gfo - compiling FoodsTsn.gf... write file FoodsTsn.gfo - compiling FoodsTur.gf... write file FoodsTur.gfo - compiling FoodsUrd.gf... write file FoodsUrd.gfo linking ... OK Writing Foods.pgf... instead of - compiling /Users/hallgren/src/GF/gf/examples/foods/FoodsSwe.gf... write file /Users/hallgren/src/GF/gf/examples/foods/FoodsSwe.gfo - compiling /Users/hallgren/src/GF/gf/examples/foods/FoodsTha.gf... write file /Users/hallgren/src/GF/gf/examples/foods/FoodsTha.gfo - compiling /Users/hallgren/src/GF/gf/examples/foods/FoodsTsn.gf... write file /Users/hallgren/src/GF/gf/examples/foods/FoodsTsn.gfo - compiling /Users/hallgren/src/GF/gf/examples/foods/FoodsTur.gf... write file /Users/hallgren/src/GF/gf/examples/foods/FoodsTur.gfo - compiling /Users/hallgren/src/GF/gf/examples/foods/FoodsUrd.gf... write file /Users/hallgren/src/GF/gf/examples/foods/FoodsUrd.gfo linking ... OK Writing Foods.pgf...
2014-10-28A couple of haddock documentation improvementshallgren
2014-10-26an explicit SAVE instructionkr.angelov
2014-10-24comment out a few assertions in bits.h. this code is run too often to have ↵kr.angelov
explicit assertions
2014-10-24make it possible to specify the initial size of a map in libgukr.angelov
2014-10-24simplify gu/mapkr.angelov