summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
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
2014-10-24fix memory leak in the pgf-parse toolkr.angelov
2014-10-24add extern declarations for all inline functions in seq.h. this ensures that ↵kr.angelov
everything works even when the compiler's optimizations are off
2014-10-23a simple optimization in cmp_item_prob with great effect on the parser's speedkr.angelov
2014-10-23remove some deadcode in gu/seq.hkr.angelov
2014-10-23inline a number of functions in gu/seq.c. this has a noticeable effect on ↵kr.angelov
the parser's speed
2014-10-23a cosmetic optimization in mem.ckr.angelov
2014-10-23fix the debug mode in the reasonerkr.angelov
2014-10-23fix warning in ucs.ckr.angelov
2014-10-22Various small changes for improved documentationhallgren
2014-10-22CAPIT is now naturally supported in the C runtimekr.angelov
2014-10-22add Unicode classification routines to libgu. ported from the base package ↵kr.angelov
in Haskell.
2014-10-22an explicit PUSH_FRAME instructionkr.angelov
2014-10-22make the fields of BracketedString in the Python binding read/writekr.angelov
2014-10-21ModuleName and Ident are now distinct typeshallgren
This makes the documentation clearer, and can potentially catch more programming mistakes.
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-31 14:55:16 +0000