04fdb41927
fix in the versioning of the .gfo files
2011-11-15 19:46:02 +00:00
a2626e24dd
now we store version number in every .gfo file. If the file is compiled with different compiler then we simply recompile it.
2011-11-15 19:12:22 +00:00
8a10aa5cf9
now the pretty printer in GF has a new mode called Internal. This is the most detailed mode and it can print even things that are not in the GF syntax. For example PMCFG snippets and indirections.
2011-11-15 15:55:45 +00:00
59e098a440
Now the errors messages from GF.Compile.Update also follow the new format
2011-11-15 15:33:52 +00:00
b1a82e8e8a
the indirections in the .gf-tags files now point directly to the origin of the corresponding indentifiers
2011-11-15 14:30:31 +00:00
61c16f2eb2
more structured format for errors and warnings from the compiler
2011-11-15 13:33:44 +00:00
8a7aa15c57
bugfix in the new PGF generation
2011-11-14 16:27:59 +00:00
43fc9f462a
remove the -output-file option
2011-11-14 16:10:13 +00:00
7be8566f35
the new design for -tags
2011-11-14 16:08:56 +00:00
416d231c5e
Now PMCFG is compiled per module and at the end we only link it. The new compilation schema is few times faster.
2011-11-10 14:09:41 +00:00
b25ec6ae89
remove few obsolete options from GF.Infra.Options
2011-11-10 09:02:46 +00:00
0d04d56241
qualified names in the tags file
2011-11-04 16:20:41 +00:00
312e602dfe
gfse: supply information about what's defined in the exampe language to the server functions for example-based grammar writing
2011-11-02 16:54:22 +00:00
5856098f2f
gfse: example-based: remove target language from the example language menu
2011-11-02 16:13:30 +00:00
734c66710e
merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the separate PGF building
2011-11-02 13:57:11 +00:00
5fe49ed9f7
Now the compiler maintains more precise information for the source locations of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.
2011-11-02 11:44:59 +00:00
42af63414f
gfse: grammar sharing: bug fixes and win32 support
...
win32 support is untested
2011-11-01 17:45:57 +00:00
9ba8db6e0a
gfse: documentation update
2011-11-01 17:45:01 +00:00
f8665c7213
Remove configuration flag cclazy
2011-11-01 13:45:12 +00:00
5b7736e860
Fixed a typo in the shell online help
2011-11-01 11:22:13 +00:00
c4ee13abac
Recording an alternative version of look in Compute/ConcreteLazy.hs
...
Commented out, causes problems in the greek example.
2011-10-25 18:50:07 +00:00
a8185fd997
Preparations for release of GF 3.3
...
+ Changing version numbers and dates here and there.
+ Simplify build-binary-dist.sh since pgf-http need not be built anymore.
+ Use--gf-lib-path to make the sample grammars for minibar compile even if GF
is not installed.
2011-10-25 18:25:49 +00:00
5fd8299805
qualification with real module name accepted, as in GF refman
2011-10-25 14:03:27 +00:00
87f86f7342
TODO list for example-based grammar writing and grammar editor functionality
2011-10-25 12:47:51 +00:00
7372da3d7f
use associativity to force more precompilation of pre expressions
2011-10-24 12:52:20 +00:00
442dc95071
Work on example-based grammar writing
...
+ Preparations to support more target languages. Tested with Swedish.
+ Don't enable example-based editing if there is less that two concrete
languages in the grammar.
+ Don't show the "By example" button until the required lincat has been defined.
+ Remember the chosen language for examples.
2011-10-21 15:43:57 +00:00
ed451653bd
Introduce an explicit error value in the Term type
...
This makes it easier to treat run-time errors (e.g. caused by calls to
Predef.error) in a way that is more typical for a lazy functional language.
2011-10-20 14:36:30 +00:00
e5accc0d8d
Some experiments with PSeq (left commented out)
2011-10-20 14:25:31 +00:00
ef4fac9d82
Compute/ConcreteLazy.hs: no need to reverse when looking up labels in records
2011-10-20 14:19:33 +00:00
d8d60adb15
AppPredefined.hs: more readable notation for the types of primitives
2011-10-20 14:17:37 +00:00
6c5ee3d666
PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happy
...
Also remove oddly named function forExample (topological sorting) from export
list.
2011-10-20 13:21:28 +00:00
b8124730b1
pgf-http setup: update path to minibar
2011-10-18 15:35:30 +00:00
26b8df5cf5
minibar: adding a start category menu
...
+ The start category menu can be turned off by passing the option
{startcat_menu:false} when starting the minibar.
+ Documentation updates.
2011-10-18 15:21:49 +00:00
d63724ed50
minibar: add a button to show some grammar info
2011-10-18 14:34:00 +00:00
4c3cc9f176
pgf service: include the start category in grammar info
2011-10-18 14:31:40 +00:00
d4ee4a6133
example-based: use random generation for the examples
2011-10-17 13:51:25 +00:00
bd7cb1ab41
Show version & configuration info when gf -server starts
2011-10-12 19:00:42 +00:00
8266df8f58
Bug fixes for gf -server mode and setup
2011-10-12 18:27:46 +00:00
44d1a5a9f7
Improvements of "gf -server" mode and related setup
...
"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).
The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.
The separate server program pgf-http is now obsolete.
2011-10-12 17:03:54 +00:00
0aba45560d
More work on support for gfse in "gf -server" mode
2011-10-11 19:17:47 +00:00
ef079ff939
gfse: make it workw ith "gf -server" cloud services
2011-10-10 19:49:17 +00:00
b138844695
Add cloud services needed by gfse to "gf -server" mode
2011-10-10 19:46:57 +00:00
693b807cb5
minibar/support.js: added function encodeArgs.
2011-10-10 17:40:53 +00:00
04d2dc757c
More functionality in "gf -server" mode
...
"gf -server" mode now includes PGF service and the services to support
example-based grammar writing. (But gf -server is not quite ready to replace
pgf-http yet...)
Also bumped GF version number to 3.2.10-darcs
2011-10-10 16:16:16 +00:00
5b980dcb93
gfse: documentation tweaks
2011-10-07 12:14:30 +00:00
5f0d407968
example-based grammar writing: avoid a problem by returning Nothing instead of calling error
2011-10-04 10:04:01 +00:00
7402ff2429
gfse: browser compatibility fixes
2011-10-03 12:28:49 +00:00
dfbf4f9e14
gfse: references to the GF book in keyword tool tips and style tweaks for example-based grammar editing
2011-10-03 08:21:35 +00:00
bb585fef2c
Example-based grammar writing: fix problems caused by the use of exprToAPI
...
The editor needs to keep track of both the raw term and the nice term returned
by exprToAPI. (Manually constructed linearization rules will now have the
raw term and can not be tested.)
Also replace metavariables in generalized terms with the apropriate parameter
from the linearization rule.
Also fix communication problems caused by inconsistent use of show/read vs
showExpr/readExpr.
2011-09-29 15:19:03 +00:00
ad725d8531
gfse: about.html updates
2011-09-28 15:26:34 +00:00
kr.angelov