krasimir
|
0c66ad597d
|
register PGF.AbsCompute and PGF.Paraphrase in GF.cabal
|
2008-10-14 07:57:32 +00:00 |
|
krasimir
|
e054f9b063
|
remove GF.Source.ErrM from GF.cabal
|
2008-10-13 20:03:29 +00:00 |
|
aarne
|
54f8fd9ec1
|
added a paraphrase method applying def's in both directions, in subtrees, and step by step; doesn't work properly yet
|
2008-10-13 16:41:21 +00:00 |
|
aarne
|
fbc72e3230
|
added a note on refreshing variables in AbsCompute
|
2008-10-10 16:01:07 +00:00 |
|
aarne
|
4e795bab9b
|
a first version of PGF.AbsCompute
|
2008-10-10 15:53:17 +00:00 |
|
aarne
|
917f417413
|
AdjOrd instance of mkAP
|
2008-10-10 12:26:09 +00:00 |
|
bjorn
|
88798b2a23
|
Added option to treat some categories as lexical when generating Haskell data types.
|
2008-10-10 11:55:12 +00:00 |
|
aarne
|
18aa48941c
|
oops - forgot mkPresent as well
|
2008-10-08 08:35:51 +00:00 |
|
aarne
|
eba875c7d4
|
oops - had forgotten Makefile from next-lib
|
2008-10-08 08:28:39 +00:00 |
|
aarne
|
ab14205108
|
next-lib now compiles webalt ; removed subdir mathematical/ for simplicity
|
2008-10-06 15:27:14 +00:00 |
|
aarne
|
e765b97fc4
|
simplified 1.5 by removing mathematical/
|
2008-10-06 12:49:13 +00:00 |
|
aarne
|
394050d9f7
|
added a command for tree operations and started a module for defining them
|
2008-10-05 19:49:26 +00:00 |
|
aarne
|
e88c7a28a7
|
adapted old AbsCompute for use with source GF terms
|
2008-10-05 18:01:42 +00:00 |
|
aarne
|
e20969ab5d
|
prevent pgf from being empty when there are no concrete syntaxes
|
2008-10-05 15:44:16 +00:00 |
|
aarne
|
21aa3cfa17
|
forced checking def definitions; accept pgf with no concretes
|
2008-10-05 15:21:08 +00:00 |
|
aarne
|
24207d40e9
|
extended AP with Ord and compar in 1.5
|
2008-10-03 20:42:09 +00:00 |
|
aarne
|
27de3c0e7b
|
print full types instead of lock field heuristics in overload resolution if the heuristic is misleading
|
2008-10-03 18:18:21 +00:00 |
|
aarne
|
4c08128503
|
return error on undefined opers in instance and resource
|
2008-10-03 16:16:45 +00:00 |
|
bjorn
|
5bc73e10bc
|
Merge mine and aarne's variants linearization changes.
|
2008-10-03 09:53:25 +00:00 |
|
bjorn
|
59cb392bda
|
Don't build FV terms if there is exactly one variant.
|
2008-10-03 08:18:24 +00:00 |
|
aarne
|
8290be0eb2
|
made variants checking symmetric for Ints m == Ints n in PGF.Check
|
2008-10-03 08:02:54 +00:00 |
|
aarne
|
759ee4f926
|
fixed the over-expansion of record variants in PGF.Linearize
|
2008-10-03 07:57:40 +00:00 |
|
bjorn
|
07b3870699
|
Fixed variants semantics in PGF linearization to expand make variants of argument lists, to get things like Auto/Wagen gender right.
|
2008-10-03 07:53:37 +00:00 |
|
bjorn
|
1e8699d159
|
Added | syntax for variants.
|
2008-10-03 07:35:26 +00:00 |
|
bjorn
|
b7fe4eacc9
|
Handle concatenations with variants in PGF.ShowLinearize, fixes http://trac.haskell.org/gf/ticket/23
|
2008-10-03 07:16:39 +00:00 |
|
bjorn
|
fa69bd8ab3
|
Regenerate source GF parser from GF.cf. Now, when GF/Source/Makefile is used, no hand-hacking is needed.
|
2008-10-02 14:11:41 +00:00 |
|
bjorn
|
9e501521b4
|
Added src/GF/Source/Makefile for regenerating the GF source parser from GF.cf.
|
2008-10-02 13:42:24 +00:00 |
|
bjorn
|
86a30ef992
|
Converted GF/Source/*.hs to Unix line endings, to be able to see what happens when I regenerated the files.
|
2008-10-02 13:23:54 +00:00 |
|
bjorn
|
8fb068df6a
|
Fail more gracefully on unknown file name extensions.
|
2008-10-02 12:32:03 +00:00 |
|
aarne
|
6c6ff81109
|
small fixes in tutorial ; added txt source of the same
|
2008-10-01 16:07:09 +00:00 |
|
aarne
|
429092ac6a
|
added mode 'gf --run' for running silently a script ; made quizzes handle character encoding correctly ; for this end, collected coding functions in GF.Text.Coding
|
2008-10-01 16:01:51 +00:00 |
|
aarne
|
307042a6a1
|
refreshed the tutorial
|
2008-10-01 13:13:10 +00:00 |
|
aarne
|
8fbdf3e57c
|
Italian "quello" corrected
|
2008-10-01 12:11:29 +00:00 |
|
aarne
|
c2d41e70be
|
download page for beta2 ; link to JEM demo
|
2008-10-01 09:20:36 +00:00 |
|
aarne
|
08110bf103
|
more work with Parametric
|
2008-09-30 20:21:33 +00:00 |
|
aarne
|
e9d67dbd2d
|
started experiment on parametrizing more of RG definition
|
2008-09-30 14:16:39 +00:00 |
|
bjorn
|
203430ae6d
|
Use parantheses for precedence in pgf-pretty lincats.
|
2008-09-30 12:02:58 +00:00 |
|
bjorn
|
446aa1b5db
|
Added --cfg option for specifying which CFG transformations to use. Added startcatonly CFG trasnformation. Removed output formats that are now easily done with --cfg: "regular", "nolr".
|
2008-09-30 11:52:11 +00:00 |
|
bjorn
|
794fbd4a41
|
Fixed CFG start cats for categories with more than one constituent.
|
2008-09-30 10:53:36 +00:00 |
|
bjorn
|
3ca6c605b0
|
Use filtering in regular printer.
|
2008-09-30 09:39:09 +00:00 |
|
bjorn
|
41c95825f3
|
SRG conversion: print CFG when a unknown cat is found in renameCats. Do filtering in ebnf printer.
|
2008-09-30 09:32:16 +00:00 |
|
bjorn
|
8716e48c21
|
pgf-pretty: remove single field record lincat hack. handle f "" (S []) correctly.
|
2008-09-30 09:31:31 +00:00 |
|
bjorn
|
664bebf5ce
|
Some pgf-pretty fixes, including note by Peter about W "apa" (S []).
|
2008-09-30 07:24:01 +00:00 |
|
peb
|
b5ae83f899
|
Changes to the prolog output format
|
2008-09-25 07:32:39 +00:00 |
|
bjorn
|
ba321be3ff
|
Added pgf-pretty output-format
|
2008-09-26 15:21:32 +00:00 |
|
bjorn
|
0f4e8468be
|
Added isLiteralCat function to PGF.Macros.
|
2008-09-26 15:04:13 +00:00 |
|
bjorn
|
804232aebc
|
Added 'complete' function to the PGF API. This is a higher-level API to the completion functionality.
|
2008-09-26 13:17:21 +00:00 |
|
bjorn
|
b0dde31f00
|
Added semantic interpretation tag printing to the *bnf grammar printers.
|
2008-09-26 12:57:20 +00:00 |
|
bjorn
|
2f3b7d1c55
|
Use ebnf format for "regular" output-format.
|
2008-09-26 10:20:18 +00:00 |
|
bjorn
|
7a81b559fe
|
Changed nolr printer to use EBNF format.
|
2008-09-26 10:03:42 +00:00 |
|