summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2009-09-19use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent ...krasimir
2009-09-18command ai doesn't need typechecking from the shellkrasimir
2009-09-18typo in PGF.Exprkrasimir
2009-09-17fix in GF.Grammar.Printerkrasimir
2009-09-17added pt -transferkrasimir
2009-09-17remove the transfer modules. We don't need anything special, a transfer modul...krasimir
2009-09-17bugfix in the ai commandkrasimir
2009-09-14clean up the GF.Grammar APIkrasimir
2009-09-14Use GF.Grammar.Printer everywhere instead of PrGrammarkrasimir
2009-09-14fix typo in CheckGrammarkrasimir
2009-09-14CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that w...krasimir
2009-09-13added needsTypeCheck parameter to CommandInfo. The argument to the command is...krasimir
2009-09-11added wrapper functions for expression manipulations in PGF. The Haskell API ...krasimir
2009-09-11polish the PGF API and make Expr and Type abstract types. Tree is a type syno...krasimir
2009-09-08now the datatype Tree is only internal. All API functions are working with Ex...krasimir
2009-09-07export Hypo(..) from PGFkrasimir
2009-09-07make the PMCFG generation lazy again. it was made strict when the profiler wa...krasimir
2009-09-06hopefully complete and correct typechecker in PGFkrasimir
2009-07-07bugfixes in the parser for PGF.Type.Typekrasimir
2009-07-05bugfix in PGF.Expr.applykrasimir
2009-07-05PGF.Type.Hypo now can represent explicit and implicit arguments and argument ...krasimir
2009-07-05PGF.Expr.eval now returns suspension when a meta variable is encounteredkrasimir
2009-09-05simple profiler for PMCFGkrasimir
2009-08-27the -dump-X options should convert to UTF8krasimir
2009-08-27if there is oper patt = #(...) then it also should be decoded to Unicodekrasimir
2009-08-27Persian transliterationaarne
2009-08-25let the 'se utf8' command change the terminal codepage to 65001 on Windowskrasimir
2009-08-21ancient greek ut additionsaarne
2009-08-19add functions and functionType to the PGF APIkrasimir
2009-08-18let the GF.Grammar.Printer printer output the unicode symbols directlykrasimir
2009-08-18fix the unicode encoding problem with the cc commandkrasimir
2009-08-07transliteration now needs addition only in one file; a code can be more than ...aarne
2009-08-06merge some changes from the latest version of Data.Binary. Makes the binary d...krasimir
2009-06-24simplification: decodeFile doesn't have to check that the file is empty anymorekrasimir
2009-06-24make the Functor Get instance in Data.Binary strict to be sure that the decod...krasimir
2009-06-24bugfix: Use openBinaryFile in Data.Binary.decodeFile. It makes difference onl...krasimir
2009-06-24explicitly close the file handle in Data.Binary.decodeFilekrasimir
2009-06-23make Data.Binary.decodeFile stricter. It seems like this fixes the file locki...krasimir
2009-06-23made .cf grammars take their startcat from the first ruleaarne
2009-06-22cleaning up overshadow failure to warning, after testing resource compilationaarne
2009-06-22fixed warnings in present compilation of resource, esp. unreached patternsaarne
2009-06-22test unification in TypeCheckaarne
2009-06-20the construct lin C t now replaces lock fields (in source code; still tempor ...aarne
2009-06-20accepting + patterns in pre expressionsaarne
2009-06-20function for printing the help file in txt2tagsaarne
2009-06-19in splitContraints the values first have to be reducedkrasimir
2009-06-19fix the current PGF typecheckerkrasimir
2009-06-19bugfix: restore the check for bound variables in expr2treekrasimir
2009-06-18in the ai command don't show the fun keyword if there aren't any functions.krasimir
2009-06-18the PMCFG lexical categories are not printed out with prefix C i.e. CInt,.. t...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:39:41 +0000