 krasimir
|
65e9869f1a
|
fix the pattern matching in unStr, unInt, unDouble
|
2009-12-05 10:06:59 +00:00 |
|
|
krasimir
|
2732a7a22e
|
Implicit arguments in GF. Works only in PGF for now.
|
2009-10-02 13:25:12 +00:00 |
|
|
krasimir
|
1dfa67a30a
|
change the data types and the syntax in PGF to match the new syntax for implict arguments
|
2009-09-20 11:43:41 +00:00 |
|
|
krasimir
|
fd63cdaeed
|
use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent with the GF language
|
2009-09-19 10:16:37 +00:00 |
|
|
krasimir
|
e8d8f5dfe1
|
typo in PGF.Expr
|
2009-09-18 12:05:32 +00:00 |
|
|
krasimir
|
347e5db212
|
bugfix in the ai command
|
2009-09-17 13:14:04 +00:00 |
|
|
krasimir
|
57e53d46f6
|
added wrapper functions for expression manipulations in PGF. The Haskell API now uses the wrappers
|
2009-09-11 14:42:45 +00:00 |
|
|
krasimir
|
d294b70395
|
polish the PGF API and make Expr and Type abstract types. Tree is a type synonym of Expr
|
2009-09-11 13:45:34 +00:00 |
|
|
krasimir
|
be3dc0ef9e
|
now the datatype Tree is only internal. All API functions are working with Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker
|
2009-09-08 08:40:28 +00:00 |
|
|
krasimir
|
54dbfeef48
|
hopefully complete and correct typechecker in PGF
|
2009-09-06 20:31:52 +00:00 |
|
|
krasimir
|
ee4734c472
|
bugfix in PGF.Expr.apply
|
2009-07-05 16:07:34 +00:00 |
|
|
krasimir
|
a2929ac2b1
|
PGF.Expr.eval now returns suspension when a meta variable is encountered
|
2009-07-05 15:34:16 +00:00 |
|
|
krasimir
|
ec4b9c18af
|
fix the current PGF typechecker
|
2009-06-19 12:03:18 +00:00 |
|
|
krasimir
|
46439cdab9
|
bugfix: restore the check for bound variables in expr2tree
|
2009-06-19 06:37:24 +00:00 |
|
|
krasimir
|
0c46a129e6
|
now in the command shell the primary type in the pipe is Expr not Tree. This makes the pt -compute and pt -typecheck more interesting
|
2009-05-23 21:33:52 +00:00 |
|
|
krasimir
|
f9c877eec6
|
some work on evaluation with abstract expressions in PGF
|
2009-05-22 18:54:51 +00:00 |
|
|
krasimir
|
e5399f2d0e
|
refactor the PGF.Expr type and the evaluation of abstract expressions
|
2009-05-20 21:03:56 +00:00 |
|
|
aarne
|
f207a4038e
|
metavariables made unique in type checking
|
2009-01-30 16:52:38 +00:00 |
|
|
krasimir
|
8a4cb6ba1d
|
define Read and Show instances for Expr and Tree
|
2008-10-28 12:22:34 +00:00 |
|
|
bjorn
|
335a8d6977
|
Added Read and Show instances for CId. Also added readCId :: String -> Maybe CId, and use that for readLanguage.
|
2008-10-20 11:59:31 +00:00 |
|
|
bjorn
|
0c442d9ac9
|
Added Read and Show instances for Type. This required moving some code around.
|
2008-10-20 11:36:17 +00:00 |
|
|
krasimir
|
ef0ff58516
|
add parser and pretty printer for types
|
2008-10-20 07:52:14 +00:00 |
|
|
aarne
|
b6666624a0
|
rudimentary abstract syntax type checker and solver in PGF
|
2008-10-14 14:34:08 +00:00 |
|
|
aarne
|
c5c6d13546
|
changed names of resource-1.3; added a note on homepage on release
|
2008-06-25 16:54:35 +00:00 |
|