 krasimir
|
4ac1cf4970
|
in the type checker monad we should use lazy pattern matching because otherwise we force the exhaustive tree generation to be strict
|
2010-10-19 13:04:41 +00:00 |
|
|
krasimir
|
775e59dabe
|
added explicit depth parameter to the parsing API and the corresponding command in the shell
|
2010-10-18 16:51:25 +00:00 |
|
|
krasimir
|
205ac48ac3
|
typo in PGF.TypeCheck which spoiled the previous patch
|
2010-10-18 16:50:55 +00:00 |
|
|
krasimir
|
702b4aad3b
|
now we use the GF reasoner to fillin meta variables in the abstract trees generated from the parser
|
2010-10-18 15:55:14 +00:00 |
|
|
krasimir
|
05a52d6937
|
now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees
|
2010-10-14 14:28:40 +00:00 |
|
|
krasimir
|
7fc638e030
|
bugfix in PGF.VisualizeTree for handling trees with implicit arguments
|
2010-10-13 13:32:48 +00:00 |
|
|
krasimir
|
09ce38742c
|
fix PGF.Generate.restart. The restart should be done only if there are some solutions found
|
2010-10-13 12:38:51 +00:00 |
|
|
krasimir
|
de0354f991
|
the exhaustive/random generator now knows how to handle computable functions in the types
|
2010-10-11 17:18:28 +00:00 |
|
|
krasimir
|
f305587a62
|
now the generation from template with meta-variables respects the dependent types
|
2010-10-11 09:59:57 +00:00 |
|
|
krasimir
|
7200244605
|
backtracking for random generation is not enough. we must restart the search after each solution
|
2010-10-02 13:34:58 +00:00 |
|
|
krasimir
|
cb8795c222
|
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
|
2010-10-02 13:03:57 +00:00 |
|
|
krasimir
|
617ce3cce6
|
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
|
2010-09-22 15:49:16 +00:00 |
|
|
krasimir
|
1c9305e7a3
|
cleanup and export the Probabilistic API from PGF
|
2010-09-22 09:06:19 +00:00 |
|
|
krasimir
|
d09f62b0b1
|
bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be supported in GF
|
2010-09-12 12:26:38 +00:00 |
|
|
krasimir
|
ab9d27f995
|
PGF.Expr.normalForm does variable renaming
|
2010-08-30 07:37:12 +00:00 |
|
|
krasimir
|
b0e110cf4f
|
native representation for HOAS in PMCFG and incremental type checking of the parse forest
|
2010-08-09 10:10:08 +00:00 |
|
|
krasimir
|
d3a6866277
|
more advanced complete function in the PGFService
|
2010-08-24 15:58:22 +00:00 |
|
|
krasimir
|
94bd76df72
|
two new functions in the PGF API: mkAbs, unAbs
|
2010-07-31 16:40:16 +00:00 |
|
|
krasimir
|
067d908aa3
|
now the meta id of the meta variables is accessible via the PGF API
|
2010-07-31 12:52:20 +00:00 |
|
|
krasimir
|
b351c9d9dd
|
added function unType in PGF
|
2010-07-31 12:47:10 +00:00 |
|
|
krasimir
|
712b113c9a
|
fix the algorithm for items cutting in the partial parser
|
2010-07-15 14:01:51 +00:00 |
|
|
krasimir
|
3ca0b6a976
|
fix the loopchecking in PGF.Forest.bracketedTokn
|
2010-07-13 12:04:06 +00:00 |
|
|
krasimir
|
647b5ffff2
|
bugfix in the decoding of literals in PGF.Binary
|
2010-07-13 08:24:03 +00:00 |
|
|
krasimir
|
95f1d40c56
|
report type errors in the shell from command "p"
|
2010-07-07 12:23:21 +00:00 |
|
|
krasimir
|
2cd3523d04
|
simplify the monad TcM
|
2010-07-07 07:19:56 +00:00 |
|
|
krasimir
|
5ae7be358d
|
redesign the open-literals API
|
2010-07-01 08:51:59 +00:00 |
|
|
krasimir
|
eb0bd54e68
|
rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int|Float)
|
2010-06-30 07:40:22 +00:00 |
|
|
krasimir
|
5428049d80
|
in PGF.Printer special output format for SymLit
|
2010-06-29 09:05:07 +00:00 |
|
|
krasimir
|
272dcf6917
|
introduce the type synonym Token=String in the PGF API
|
2010-06-29 09:00:41 +00:00 |
|
|
krasimir
|
88d7631b62
|
preliminary version of API for Open Literals
|
2010-06-22 12:31:04 +00:00 |
|
|
krasimir
|
992a7ffb38
|
Yay!! Direct generation of PMCFG from GF grammar
|
2010-06-18 12:55:58 +00:00 |
|
|
krasimir
|
5dfc9bbc0b
|
the automatically generated printnames were just junks. Now we store printnames only if they are explicitly specified.
|
2010-06-18 10:19:05 +00:00 |
|
|
krasimir
|
fd3cddcf5e
|
PGF.Printer now dumps the printnames as well
|
2010-06-18 10:04:10 +00:00 |
|
|
krasimir
|
d6f32b3bcd
|
dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax
|
2010-06-09 11:32:59 +00:00 |
|
|
krasimir
|
4e35f7e5ec
|
filter the duplications when doing 'l -table'
|
2010-06-09 10:21:13 +00:00 |
|
|
jordi.saludes
|
4061674fae
|
Changing rec to rec_ in PGF
To make glasgow extensions happy we had to rename 'rec' to 'rec_' in sources
from PGF folder.
|
2010-06-05 11:02:51 +00:00 |
|
|
krasimir
|
d3effb1c7d
|
I switched back to the old algorithm for generating dependency trees. This required an ugly hack but there is no easy and quick other way :-(
|
2010-05-29 12:49:54 +00:00 |
|
|
krasimir
|
6eda1118fc
|
since now we don't do common subexpression elimination for PGF we could simplify the PMCFG generation
|
2010-05-26 09:37:32 +00:00 |
|
|
krasimir
|
49aa8d20fc
|
some fixes for graphvizDependencyTree
|
2010-05-25 13:01:59 +00:00 |
|
|
krasimir
|
cada06eab7
|
bugfix in the linearization algorithm
|
2010-05-25 10:27:48 +00:00 |
|
|
krasimir
|
e0dc9c80a6
|
now every BracketedString also has reference to the source expression(s)
|
2010-05-19 13:32:39 +00:00 |
|
|
krasimir
|
1743e88192
|
added function lengthBracketedString
|
2010-05-19 12:40:07 +00:00 |
|
|
krasimir
|
31856ebb4c
|
now the parser could return partial parse results
|
2010-05-19 12:31:36 +00:00 |
|
|
krasimir
|
77fb23fdbc
|
simple refactoring: use ActiveKey in PGF.Parse.getParseResult instead of plain pair of FId and LIndex
|
2010-05-17 06:12:45 +00:00 |
|
|
krasimir
|
e8099d1f51
|
in PGF, when printing function and category definitions, add semicolon
|
2010-05-11 12:50:51 +00:00 |
|
|
aarne
|
c265c5f8c3
|
fixed two bugs in gt
|
2010-05-06 18:56:18 +00:00 |
|
|
krasimir
|
4e85f8ada3
|
refactor BracketedString
|
2010-05-01 21:02:32 +00:00 |
|
|
krasimir
|
c1406bdcdf
|
bug fix for bracketedLinearize with HOAS and meta variables
|
2010-05-01 20:51:07 +00:00 |
|
|
krasimir
|
0f1cce53c6
|
fixes in unStr,unInt,unDouble,isMeta
|
2010-05-01 07:29:41 +00:00 |
|
|
krasimir
|
9e7b914c3c
|
for backward compatibility we have the old parse function again. the old functionality is exposed by parse_
|
2010-04-30 20:18:26 +00:00 |
|