hallgren
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
hallgren
b8124730b1
pgf-http setup: update path to minibar
2011-10-18 15:35:30 +00:00
hallgren
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
hallgren
d63724ed50
minibar: add a button to show some grammar info
2011-10-18 14:34:00 +00:00
hallgren
4c3cc9f176
pgf service: include the start category in grammar info
2011-10-18 14:31:40 +00:00
hallgren
d4ee4a6133
example-based: use random generation for the examples
2011-10-17 13:51:25 +00:00
hallgren
bd7cb1ab41
Show version & configuration info when gf -server starts
2011-10-12 19:00:42 +00:00
hallgren
8266df8f58
Bug fixes for gf -server mode and setup
2011-10-12 18:27:46 +00:00
hallgren
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
hallgren
0aba45560d
More work on support for gfse in "gf -server" mode
2011-10-11 19:17:47 +00:00
hallgren
ef079ff939
gfse: make it workw ith "gf -server" cloud services
2011-10-10 19:49:17 +00:00
hallgren
b138844695
Add cloud services needed by gfse to "gf -server" mode
2011-10-10 19:46:57 +00:00
hallgren
693b807cb5
minibar/support.js: added function encodeArgs.
2011-10-10 17:40:53 +00:00
hallgren
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
hallgren
5b980dcb93
gfse: documentation tweaks
2011-10-07 12:14:30 +00:00
hallgren
5f0d407968
example-based grammar writing: avoid a problem by returning Nothing instead of calling error
2011-10-04 10:04:01 +00:00
hallgren
7402ff2429
gfse: browser compatibility fixes
2011-10-03 12:28:49 +00:00
hallgren
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
hallgren
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
hallgren
ad725d8531
gfse: about.html updates
2011-09-28 15:26:34 +00:00
hallgren
6142258302
gfse: mention example-based grammar writing in about.html
2011-09-27 19:18:50 +00:00
hallgren
cdef284b2b
exb: call exprToAPI to create nicer linearization functions
2011-09-27 19:17:53 +00:00
hallgren
b9b353795b
Server-side support for example-based grammar writing
2011-09-27 18:59:54 +00:00
hallgren
667b37f418
gfse: work in progress on support for example-based grammar writing
2011-09-27 18:40:09 +00:00
aarne
a83b6bea62
don't count app nodes in term size
2011-09-26 13:56:39 +00:00
aarne
1a3a26563b
generalized show_dependencies to take a list of constants as its argument
2011-09-25 08:43:23 +00:00
aarne
0c2f20d04d
structured examples in help into pairs (command,explanation)
2011-09-25 08:42:27 +00:00
aarne
780d9ef528
bug fixes in code size analysis
2011-09-24 08:20:58 +00:00
kr.angelov
bb599029c9
change the precedence for the left argument of ->
2011-09-22 16:24:02 +00:00
aarne
6db0c74c2f
the sd -size command now shows the size of all code needed for defining an oper
2011-09-22 12:11:03 +00:00
aarne
baa9bcd9d0
documented the ss command
2011-09-22 07:40:19 +00:00
aarne
bd22b935de
statistics on grammar size in terms of constructors
2011-09-21 13:24:59 +00:00
kr.angelov
89fb9a7fdf
fix in the proof search. when we start the generation from a template, we must start the refinement from the expression that the typecheker generated
2011-09-21 13:30:09 +00:00
aarne
958e81126d
commands ss to show source, and sd to show the dependencies of a constant
2011-09-21 08:12:14 +00:00
aarne
33a42b1c7c
module for analysing source grammars
2011-09-20 16:00:56 +00:00
aarne
a2ccf1ce69
command ss to show source (including gfo) in text; to be extended
2011-09-20 14:58:27 +00:00
hallgren
c32a244a3c
Created a new page documenting available editor modes for GF
...
Also adding editing modes for Gedit and Geany contributed by John J. Camilleri.
2011-09-20 12:41:32 +00:00
hallgren
128cd2f5c0
gfse: add Extra and Lexicon to the list of resource modules that can be opened
2011-09-16 15:13:27 +00:00
ra.monique
bdc77bf0e4
added topological sort module to PGF - to be used in example based grammar writing
2011-09-15 16:32:49 +00:00
hallgren
751fd79763
Add a command name header to the 'help -t2t' output
2011-09-15 18:19:01 +00:00
aarne
10d79ed050
made ps -from_TRANSLIT symmetric to -to_TRANSLIT in the sense that unknown characters are returned as themselves and not as question marks
2011-09-15 10:49:40 +00:00
hallgren
642d391d73
Omit empty sections in gf help output
2011-09-14 20:26:22 +00:00
hallgren
570afd870c
GF shell command 'help -t2t' outputs help in txt2tags format
2011-09-14 19:40:28 +00:00
hallgren
e36af534bf
gfse: added grammar cloning
2011-09-13 15:19:16 +00:00
aarne
d394f76e3d
quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisited
2011-09-14 11:29:35 +00:00
hallgren
c8501547bf
Don't make noexpand the default with -fcclazy
...
This reverts the previous change. Not preprocessing opers turns out to make a
difference in what needs to be mentioned in restricted inheritance/imports.
2011-09-09 16:17:33 +00:00
hallgren
312c13c2d8
Make noexpand the default optimization package when configuring with -fcclazy
2011-09-09 13:50:38 +00:00
hallgren
42ea96a5ca
Remove unused function computeConcreteRec.
...
This also allows the parameter rec to be removed from function computeTermOpt.
(The change is made in GF.Compile.Compute.ConcreteLazy, but not in
GF.Compile.Compute.ConcreteStrict.)
2011-09-09 12:25:27 +00:00
hallgren
8098f79941
GF.Grammar.Macros: simplify composOp and composSafeOp
2011-09-07 17:11:52 +00:00
hallgren
e223d3bdb9
Make the -fcclazy configuration option visible in the build info in the GF Shell welcome message
2011-09-05 15:20:39 +00:00
