summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2013-09-30better handling for nonExist in the C runtime. BIND is also supported in the ↵kr.angelov
linearizer but not in the parser yet
2013-09-27a major refactoring in the C and the Haskell runtimes. Note incompatible ↵kr.angelov
change in the PGF format!!! The following are the outcomes: - Predef.nonExist is fully supported by both the Haskell and the C runtimes - Predef.BIND is now an internal compiler defined token. For now it behaves just as usual for the Haskell runtime, i.e. it generates &+. However, the special treatment will let us to handle it properly in the C runtime. - This required a major change in the PGF format since both nonExist and BIND may appear inside 'pre' and this was not supported before.
2013-09-26remove pgf/edsl.h from the C runtimekr.angelov
2013-09-26add gu_variant_close in libgukr.angelov
2013-09-25fix the debug mode of the parser after the refactoring in libgukr.angelov
2013-09-25added assertion in the JIT compiler which checks that we are not going ↵kr.angelov
outside of the compilation window
2013-09-25fix a typo in src/runtime/javascript/translator.htmlkr.angelov
2013-09-24a small fix in the python binding after the refactoring in the C runtimekr.angelov
2013-09-23GrammarToPGF now looks only at the top modules for the PGF flagskr.angelov
2013-09-23fix a warning in the compilerkr.angelov
2013-09-23GF.Grammar.Grammar.allExtends now returns a list of source modules instead ↵kr.angelov
of just the module names. This saves extra lookups later
2013-09-20Comment out identifier refreshing code only used by the removed refresh passhallgren
2013-09-19Introduce type RawIdent; only 9 imports of Data.ByteString.Char8 remainhallgren
The fact that identifiers are represented as ByteStrings is now an internal implentation detail in module GF.Infra.Ident. Conversion between ByteString and identifiers is only needed in the lexer and the Binary instances.
2013-09-19Make Ident abstract; imports of Data.ByteString.Char8 down from 29 to 16 moduleshallgren
Most of the explicit uses of ByteStrings were eliminated by using identS, identS = identC . BS.pack which was found in GF.Grammar.CF and moved to GF.Infra.Ident. The function prefixIdent :: String -> Ident -> Ident allowed one additional import of ByteString to be eliminated. The functions isArgIdent :: Ident -> Bool getArgIndex :: Ident -> Maybe Int were needed to eliminate explicit pattern matching on Ident from two modules.
2013-09-18the PGF reader now releases strings that are not used after the loadingkr.angelov
2013-09-18add type signature for gu_string_length in the headers of libgukr.angelov
2013-09-17bugfix in the ordering of strings in libgukr.angelov
2013-09-17gu_buf_binsearch -> gu_seq_binsearch. Improved APIkr.angelov
2013-09-17added order and equality for strings in libgukr.angelov
2013-09-17a major refactoring in the C runtime. GuList is now removed and replaced ↵kr.angelov
with GuSeq. The GuSeq/GuBuf API is simplified
2013-09-16added BSD licenses to the Java binding and the android UIkr.angelov
2013-09-13remove leftcorner_cat_idx which is now redundantkr.angelov
2013-09-13minor optimization/refactoring in the grammar readerkr.angelov
2013-09-13the leftcorner indexing is now completely removed since it slowed down the ↵kr.angelov
loading without speeding up parsing a lot
2013-09-13fix the debug mode of the parser after the changes in the libgu APIkr.angelov
2013-09-13tiny optimization in pgf/readerkr.angelov
2013-09-13bugfix in utf8.ckr.angelov
2013-09-13fix a warning in utf8.ckr.angelov
2013-09-13optimize the reading of strings in the grammar loader.kr.angelov
2013-09-13more UTF8 cleanupkr.angelov
2013-09-13clean up the UTF8 API in libgukr.angelov
2013-09-12fix in Android.mk to make sure that the Android build will always see the ↵kr.angelov
ARM headers of GNU lightning
2013-09-12remove the logging from libgukr.angelov
2013-09-12enable the PGF JIT compiler for Androidkr.angelov
2013-09-11rewrite the ARM port of GNU lightning to a form compatible with the versions ↵kr.angelov
for the other CPUs
2013-09-10Some code verbosity reductionhallgren
2013-09-10Workaround for a problem with lock fieldshallgren
This problem showed up after delaing eta expansion until just before partial evaluation
2013-05-30new-comp: delay eta expansion until just before partial evaluationhallgren
This seems to work for the most part, but a problem showed up in WordsCat.gf in the phrasebook.
2013-09-09Nonlinear patterns in concrete syntax are now detected and reported as errorshallgren
Before, they were silently converted to linear patterns. Nonlinear patterns in MorphoCat.gf, ParadigmsGre.gf and ParadigmsFin.gf have been make linear by renaming pattern variables.
2013-09-09partial evaluator: prettier complaint about nonlinears patternshallgren
2013-09-09partial evaluator: complain about nonlinear patternshallgren
2013-09-09Fix an old name shadowing bug in concrete syntax by removing the refresh passhallgren
The refresh pass does not correctly keep track of the scope of local variables and can convert things like \x->(\x->x) x into \x1->(\x2->x2) x2. Fortunately, it appears that the refresh pass is not needed anymore, so it has been removed.
2013-09-06added exhaustive generation in the Java bindingkr.angelov
2013-09-05remove the string internalization since it slows down grammar loading with ↵kr.angelov
little benefit
2013-09-05move src/runtime/android to src/ui/android/jnikr.angelov
2013-09-05Fix an old bug that prevented pattern matching agains values containg tableshallgren
The function GF.Grammar.PatternMatch.isInConstantForm returned False for all tables, causing matchPattern to fail, claiming that "variables occur in" the term if it contains tables. This problem is several years old, confirmed present in GF 3.2.10 (Oct 2010).
2013-09-05added version readPGF in Java which takes as argument InputStream. This ↵kr.angelov
makes it easier to load grammars from the assets folder in Android
2013-09-05fix gu_in_bytes_ to use bufferingkr.angelov
2013-09-05remove the read and write modules from libgu. this simplifies the i/o layerkr.angelov
2013-09-05remove dump and yaml from libgukr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-23 14:46:00 +0000