summaryrefslogtreecommitdiff
path: root/src/runtime/haskell/PGF/Expr.hs
AgeCommit message (Collapse)Author
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