krasimir
|
b5d9ae552d
|
-output-format=pgf_pretty now prints the flags as well
|
2010-02-17 10:20:49 +00:00 |
|
krasimir
|
32f9499f2e
|
fix the PGF printer for abstract
|
2010-02-16 21:47:58 +00:00 |
|
krasimir
|
19b17dceb6
|
no need to keep the list of constructors per category in .gfo
|
2010-02-16 09:34:02 +00:00 |
|
krasimir
|
61287f3925
|
more category theory -> morphisms, initial and terminal objects
|
2010-02-15 10:35:24 +00:00 |
|
krasimir
|
af48998ef6
|
basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon
|
2010-02-14 10:20:08 +00:00 |
|
krasimir
|
b2ce65bbe6
|
white space instead of tab in GF.cabal
|
2010-02-12 21:31:30 +00:00 |
|
krasimir
|
9c23a98fc0
|
add PGF.Probabilistic in GF.cabal
|
2010-02-12 16:12:17 +00:00 |
|
krasimir
|
ea85cd1078
|
one more test for cyclic operations
|
2010-02-09 18:38:11 +00:00 |
|
krasimir
|
64da1c2021
|
allow negative integers in the grammar syntax
|
2010-02-08 12:59:22 +00:00 |
|
krasimir
|
a1c70841c1
|
test case for lazy evaluation in the abstract syntax
|
2010-02-07 22:22:30 +00:00 |
|
aarne
|
f0f9c0acfa
|
generalized tour to a variable language by the script MkTour
|
2010-02-08 10:52:08 +00:00 |
|
krasimir
|
9564d85fa5
|
command cc now works even without loaded grammar. useful for testing closed expressions
|
2010-02-07 19:23:26 +00:00 |
|
krasimir
|
c1d2ed1a7b
|
test case for invalid parameter definition
|
2010-02-06 20:15:46 +00:00 |
|
krasimir
|
2544ea8c8a
|
in verbose mode print the rule names when compiling PMCFG
|
2010-02-06 18:24:15 +00:00 |
|
krasimir
|
168d459c49
|
bugfix in GrammarToPGF related to the compilation of def rules
|
2010-02-05 22:16:44 +00:00 |
|
aarne
|
064cfef331
|
command eh ; lib/doc/tour started
|
2010-02-03 20:55:54 +00:00 |
|
krasimir
|
b90e56a94e
|
fix the tabular printing when there is a V constructor
|
2010-02-03 17:33:55 +00:00 |
|
aarne
|
49e620b535
|
gr for several metas fixed ; commented out one alternative in SammieGer to make it compile
|
2010-02-02 07:12:52 +00:00 |
|
aarne
|
7f4559335a
|
fixed Sammie examples to compile (except Spa)
|
2010-02-01 15:57:29 +00:00 |
|
aarne
|
510d511637
|
commands mq and tq can take a tree with metas to guide generation
|
2010-02-01 09:56:58 +00:00 |
|
krasimir
|
563e65c309
|
test case for let expression in def rule
|
2010-02-01 09:18:42 +00:00 |
|
krasimir
|
1cd4a500f5
|
added tests for literals in the abstract syntax
|
2010-02-01 08:58:46 +00:00 |
|
krasimir
|
2d3de22b17
|
added test cases for polymorphic and record types in the abstract syntax
|
2010-01-31 22:16:35 +00:00 |
|
krasimir
|
3be9ce3240
|
add test case for abstract types with let bindings
|
2010-01-31 20:45:48 +00:00 |
|
aarne
|
26236652a6
|
command l -list ; fixed mq to work with the new tabularLinearizes
|
2010-01-31 16:05:23 +00:00 |
|
krasimir
|
be6465a2eb
|
refactor GF.Infra.Modules for better error messages
|
2010-01-31 15:54:25 +00:00 |
|
krasimir
|
acd927f87b
|
add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation and PGF.Expr.Patt
|
2010-01-31 14:45:44 +00:00 |
|
aarne
|
e71545eab1
|
gt and gr can start from a tree with metavariables, just filling them
|
2010-01-30 18:01:18 +00:00 |
|
krasimir
|
8d03e48e46
|
code cleanup in PGF.TypeCheck
|
2010-01-30 10:10:51 +00:00 |
|
krasimir
|
3b7e39fa4a
|
bugfix in the PGF typechecker and more test cases
|
2010-01-29 21:10:14 +00:00 |
|
krasimir
|
e5de8ea9fe
|
update the testsuite
|
2010-01-29 11:13:31 +00:00 |
|
aarne
|
d333c0564b
|
example_based returns the list of all unknown words
|
2010-01-28 16:27:28 +00:00 |
|
aarne
|
e056cc2bfd
|
in example-based grammar conversion, warnings about unknown words
|
2010-01-28 10:06:16 +00:00 |
|
aarne
|
750a2639b0
|
command eb for example-based grammar conversion; see 'help eb' and the example in examples/animals/QuestionsI.gfe
|
2010-01-27 17:51:15 +00:00 |
|
krasimir
|
890d455793
|
cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification
|
2010-01-27 09:39:14 +00:00 |
|
aarne
|
b206aa3464
|
bug fixes in biased generation ; example probs file in lib/src
|
2010-01-26 21:49:00 +00:00 |
|
aarne
|
dd4c792e67
|
probability ranking (rt) and gr -probs=FILE
|
2010-01-26 21:08:04 +00:00 |
|
aarne
|
e91c610e5a
|
added probabilities to trees and random gen; not yet in shell
|
2010-01-26 15:53:49 +00:00 |
|
krasimir
|
bc6323df4c
|
fix the PGF generation when it is used from the shell
|
2010-01-26 14:15:37 +00:00 |
|
krasimir
|
9b362ff231
|
PGF is now real synchronous PMCFG
|
2010-01-17 21:35:36 +00:00 |
|
krasimir
|
af13bae2df
|
now the linearization is completely based on PMCFG
|
2010-01-17 17:05:21 +00:00 |
|
krasimir
|
9e3d4c74dc
|
prettier parameter names in PGF
|
2010-01-17 00:41:46 +00:00 |
|
krasimir
|
389b55103c
|
small code cleanup in GeneratePMCFG.hs
|
2010-01-16 22:10:45 +00:00 |
|
krasimir
|
cf22bd094f
|
move the definitions of _B and _V to PGF.Macros
|
2010-01-12 14:36:41 +00:00 |
|
krasimir
|
ee3ce9694c
|
store the label names in PMCFG
|
2010-01-05 08:35:33 +00:00 |
|
krasimir
|
3ed19a482e
|
printnames are now kept as String instead of Term in PGF
|
2010-01-05 07:05:41 +00:00 |
|
krasimir
|
354269e17c
|
allow metavariables with indices i.e. ?0, ?1, etc in the abstract syntax parser in PGF
|
2010-01-15 21:23:37 +00:00 |
|
krasimir
|
869621db66
|
now the abstract syntax in PGF allows the same syntax for integers, floats and strings as in Haskell. This includes negative integers and exponents in the floats
|
2010-01-15 21:13:46 +00:00 |
|
hallgren
|
9fc1325b95
|
Use build-type: Custom, so that cabal install calls Setup.hs.
|
2010-01-13 16:40:15 +00:00 |
|
hallgren
|
8077e54170
|
Makefile for Foods.pgf (machine readable version of README)
|
2010-01-12 15:25:56 +00:00 |
|