summaryrefslogtreecommitdiff
path: root/src/PGF.hs
AgeCommit message (Collapse)Author
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated
2009-12-05added mkMeta and isMeta in PGFkrasimir
2009-11-29TranslateApp now have browser for abstract syntaxkrasimir
2009-11-26change PGF.categories to return list of identifiers instead of typeskrasimir
2009-10-24expose the tree visualization via PGF APIkrasimir
2009-10-23experimental robust parserkrasimir
2009-10-15added smart constructors for types in PGFkrasimir
2009-09-28export the morphology API from PGFkrasimir
2009-09-11added wrapper functions for expression manipulations in PGF. The Haskell API ↵krasimir
now uses the wrappers
2009-09-11polish the PGF API and make Expr and Type abstract types. Tree is a type ↵krasimir
synonym of Expr
2009-09-08now the datatype Tree is only internal. All API functions are working with ↵krasimir
Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker
2009-09-07export Hypo(..) from PGFkrasimir
2009-09-06hopefully complete and correct typechecker in PGFkrasimir
2009-07-05PGF.Type.Hypo now can represent explicit and implicit arguments and argument ↵krasimir
without bound variable
2009-09-05simple profiler for PMCFGkrasimir
2009-08-19add functions and functionType to the PGF APIkrasimir
2009-05-23now in the command shell the primary type in the pipe is Expr not Tree. This ↵krasimir
makes the pt -compute and pt -typecheck more interesting
2009-05-20refactor the PGF.Expr type and the evaluation of abstract expressionskrasimir
2008-12-11a dialogue-like editor loopaarne
2008-10-28remove some redundant imports of GF.Text.UTF8krasimir
2008-10-28binary serialization for PGFkrasimir
2008-10-28Changed PGF.complete to include the given input if it can be parsed as a ↵bjorn
complete tree.
2008-10-20Added --parser=ondemand flag.bjorn
2008-10-20Added on-demand parser generation back in. It's pretty unproblematic, and ↵bjorn
can help with memory use in some cases.
2008-10-20fixed typo in the Haddock documentationkrasimir
2008-10-20Reorganize PGF export list to get easier to read haddock.bjorn
2008-10-20Added Read and Show instances for CId. Also added readCId :: String -> Maybe ↵bjorn
CId, and use that for readLanguage.
2008-10-20Added Read and Show instances for Type. This required moving some code around.bjorn
2008-10-20Replace Category with Type in the PGF API. Added readLanguage and showLanguage.bjorn
2008-10-20preparation for dep. types. The -cat option can take any type instead of ↵krasimir
just a category. The PGF API is generalized as well.
2008-10-20export wildCId from PGF.hskrasimir
2008-10-20add parser and pretty printer for typeskrasimir
2008-10-16Removed on-demand parser generation from the PGF interpreter.bjorn
2008-10-16Moved parser building in the PGF interpreter to PGF.hs from ↵bjorn
PGF/Raw/Convert.hs, in preparation for doing something more clever about it (e.g. looking at the parser flag).
2008-10-14rudimentary abstract syntax type checker and solver in PGFaarne
2008-10-14the new optimized incremental parser and the common subexpression ↵krasimir
elimination optimization in PMCFG
2008-10-13added a paraphrase method applying def's in both directions, in subtrees, ↵aarne
and step by step; doesn't work properly yet
2008-10-10a first version of PGF.AbsComputeaarne
2008-09-26Added 'complete' function to the PGF API. This is a higher-level API to the ↵bjorn
completion functionality.
2008-08-18Added canParse function to the PGF API. Make parseAllLang and parseAll skip ↵bjorn
languages which don't have parsers, instead of always throwing exceptions when some language is missing a parser.
2008-08-18Added languageCode function to the PGF API.bjorn
2008-06-26fixed decodeUTF8 for pgf; removed old resources from darcsaarne
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 12:10:33 +0000