summaryrefslogtreecommitdiff
path: root/src/PGF/Expr.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-12-05fix the pattern matching in unStr, unInt, unDoublekrasimir
2009-10-02Implicit arguments in GF. Works only in PGF for now.krasimir
2009-09-20change the data types and the syntax in PGF to match the new syntax for ↵krasimir
implict arguments
2009-09-19use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent ↵krasimir
with the GF language
2009-09-18typo in PGF.Exprkrasimir
2009-09-17bugfix in the ai commandkrasimir
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-06hopefully complete and correct typechecker in PGFkrasimir
2009-07-05bugfix in PGF.Expr.applykrasimir
2009-07-05PGF.Expr.eval now returns suspension when a meta variable is encounteredkrasimir
2009-06-19fix the current PGF typecheckerkrasimir
2009-06-19bugfix: restore the check for bound variables in expr2treekrasimir
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-22some work on evaluation with abstract expressions in PGFkrasimir
2009-05-20refactor the PGF.Expr type and the evaluation of abstract expressionskrasimir
2009-01-30metavariables made unique in type checkingaarne
2008-10-28define Read and Show instances for Expr and Treekrasimir
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-20add parser and pretty printer for typeskrasimir
2008-10-14rudimentary abstract syntax type checker and solver in PGFaarne
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 10:59:25 +0000