summaryrefslogtreecommitdiff
path: root/src/runtime/haskell/PGF/Expr.hs
AgeCommit message (Collapse)Author
2012-08-29A basic infrastructure for generating Teyjus bytecode from the GF abstract ↵kr.angelov
syntax
2012-03-26Fix List.foldl / Map.foldl ambiguositySergei Trofimovich
Fixes the following error: src/runtime/haskell/PGF/Expr.hs:111:14: Ambiguous occurrence `foldl' It could refer to either `List.foldl', imported from `Data.List' at src/runtime/haskell/PGF/Expr.hs:27:1-24 (and originally defined in `GHC.List') or `Map.foldl', imported from `Data.Map' at src/runtime/haskell/PGF/Expr.hs:28:1-40
2011-08-30bugfixes in the typechecker and the tree generatorkr.angelov
2011-08-29skip spaces before closing parenthesis in PGF.Expr.pFactoraarne
2011-01-08fix the computation of abstract expressions in the presence of implicit ↵krasimir
arguments
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ↵krasimir
in the abstract syntax
2010-08-30PGF.Expr.normalForm does variable renamingkrasimir
2010-07-31two new functions in the PGF API: mkAbs, unAbskrasimir
2010-07-31now the meta id of the meta variables is accessible via the PGF APIkrasimir
2010-05-01fixes in unStr,unInt,unDouble,isMetakrasimir
2010-03-18pattern @ should be propagated to PGFkrasimir
2010-03-18syntax for inaccessible patterns in GFkrasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵krasimir
to the meta store
2010-01-31add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation ↵krasimir
and PGF.Expr.Patt
2010-01-29bugfix in the PGF typechecker and more test caseskrasimir
2010-01-27cleanup the code of the PGF interpreter and polish the binary serialization ↵krasimir
to match the preliminary specification
2010-01-15allow metavariables with indices i.e. ?0, ?1, etc in the abstract syntax ↵krasimir
parser in PGF
2010-01-15now the abstract syntax in PGF allows the same syntax for integers, floats ↵krasimir
and strings as in Haskell. This includes negative integers and exponents in the floats
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-15 01:20:50 +0000