hallgren
d0efcc035c
Make PGFService.hs compile again
...
+ PGFService.hs: add Nothing arguments in calls to PGF.parse_ and
PGF.getPArseOutput
+ gf-server.cabal: mark content-server as not buildable, since required source
files are missing.
2010-11-09 15:08:37 +00:00
hallgren
92cf1bdb85
minibar.js: code simplification
2010-11-09 11:58:38 +00:00
hallgren
48effe4922
support.js: two new functions: commonPrefix & insertFirst
2010-11-05 15:41:06 +00:00
krasimir
c1d91b7f50
fix the history management in the editor
2010-11-07 16:17:15 +00:00
aarne
e745881e4a
trying to find some inefficiencies in Finnish resource
2010-10-25 19:56:47 +00:00
krasimir
cd0a9982bd
preliminary UI for storage/retrieval/search of documents in the GF editor
2010-11-01 09:25:22 +00:00
ramona.enache
cd69929b4d
added giza Alignments with command ga and merged the rendering algorithm for graphviz and giza alignments
2010-10-31 13:39:01 +00:00
hallgren
592206e6a8
minibar.js: bug fix: when not using group translation, and a particular language is chosen in the To: menu, the translation would not be displayed
2010-10-28 12:39:56 +00:00
hallgren
c4f8fa82b7
minibar.js: bug fix: the To: menu wasn't updated properly when switching grammars
2010-10-28 11:53:50 +00:00
hallgren
4f7255dae2
minibar: restructured code and improved user interface
...
* Keyboard input and completion should now work much more smoothly:
+ When you press space, the current word will be completed (if incomplete)
and a new magnet will be created. If there is more than one possible
completion, no magnet is created, but the common prefix of the possible
completions is added to the text box.
+ Instead of asking the server for possible completions every time a new
letter is added to the curent word, minibar only ask for completions for
whole words and then filters the list locally when more letters are entered,
speeding things up when server responses are slow.
* Code restructuring:
+ The PGF server API has been moved to its own file: pgf_online.js. This
allows it to be reused in other applicaitons without importing the entire
minibar. It also allows minibar to be used with different server interfaces.
+ The minibar code has been rewritten to avoid storing state information
in the document tree and accessing it by referring to named document
elements. The code now also avoids using string literals contaning
the names of top-level functions to specify event handlers for buttons
and menus. (The code is no longer introspective, so alpha conversion will
not change its meaning.)
2010-10-26 12:42:33 +00:00
hallgren
41edd0a84f
support.js: some enhancements and new functions
...
+ ajax_http_get(url,callback) now checks the HTTP response status and shows an
error message if the status is not OK (is not 200)
+ New function node(tag,attrs,children) to create document nodes with arbitraty
attributes and children. The functions node() and text() should now be enough
to construct arbitrary document trees in an easy, functional way, and many of
the more specialized functions could be removed.
+ When calling the function button(label,action,key), the action can be a
function instead of a string, so you can use local/anonymous functions.
+ New function debug(str) adds text to the element with id=debug, if it
exists.
2010-10-26 11:52:04 +00:00
krasimir
9802d534c0
when faced with hard unification problem the type checker should just postpone the decision instead of failing immediately. added test case as well
2010-10-25 15:47:33 +00:00
krasimir
75e8cba592
when we print the bracketed string it is useful to print the attached metavariables as well
2010-10-25 12:21:12 +00:00
krasimir
53306414b6
fixed typo in GeneratePMCFG.hs. fidFloat -> fidVar
2010-10-25 11:48:17 +00:00
krasimir
7666f8cc59
During the compilation, the final message "OK" should be displayed only if we are not in silent mode. This was changed incidentally on the way.
2010-10-25 11:31:16 +00:00
krasimir
8c751d404f
change the TcM monad to continuation passing style. The old monad caused stack overflow for large search spaces
2010-10-21 15:01:52 +00:00
krasimir
09dde495ce
support for proof search with high-order functions
2010-10-21 12:47:26 +00:00
krasimir
43cbc6693d
bugfix in the term generation
2010-10-20 13:36:39 +00:00
krasimir
6e23da41a2
fixed typo which broke the parsing with -openclass
2010-10-20 09:04:48 +00:00
krasimir
5acec7be21
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
51452d4ef0
added explicit depth parameter to the parsing API and the corresponding command in the shell
2010-10-18 16:51:25 +00:00
krasimir
afce46b386
typo in PGF.TypeCheck which spoiled the previous patch
2010-10-18 16:50:55 +00:00
krasimir
7fb5fddbb8
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
hallgren
0d1c3dc62b
minibar.html: add a <noscript> element with a note that the page doesn't work unless JavaScript is enabled
2010-10-23 14:56:10 +00:00
hallgren
dd7cd640ea
minibar.js: show the type error messages that can occur for grammars with dependent types
2010-10-18 12:15:30 +00:00
hallgren
5400728ef7
minibar.js: add an option to enable/disable the Random button
2010-10-17 16:48:21 +00:00
krasimir
9fdc7134e8
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
cc2232e289
bugfix in PGF.VisualizeTree for handling trees with implicit arguments
2010-10-13 13:32:48 +00:00
krasimir
aa6fd7b13f
WebUI: show error when depth/limit has invalid value
2010-10-13 12:53:42 +00:00
krasimir
f4603cf9d4
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
042790fdf6
the PGF service now can do both random and exhaustive generation. these functions now return both the generated tree and its linearization
2010-10-13 12:32:49 +00:00
krasimir
44336bf6d6
improved Web UI for queries
2010-10-13 12:31:38 +00:00
krasimir
1ce14c9120
added option -depth to command gr
2010-10-12 13:36:37 +00:00
krasimir
95733f0b1b
the exhaustive/random generator now knows how to handle computable functions in the types
2010-10-11 17:18:28 +00:00
krasimir
e7f6239bc6
now the generation from template with meta-variables respects the dependent types
2010-10-11 09:59:57 +00:00
krasimir
adda4b8492
added dummy search box for documents
2010-10-07 16:18:45 +00:00
krasimir
d0a5b7a1ae
use TabBar for the links in the upper-left corner of the editor
2010-10-07 15:09:59 +00:00
krasimir
f52b157b34
dummy UI for documents saving/loading in the editor
2010-10-07 14:09:08 +00:00
krasimir
b10731fd97
forgot to remove a trace message
2010-10-02 13:38:00 +00:00
krasimir
7d9bbea985
backtracking for random generation is not enough. we must restart the search after each solution
2010-10-02 13:34:58 +00:00
krasimir
be9ad26aea
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
2010-10-02 13:03:57 +00:00
krasimir
c0251e76c5
fixes in FridgeApp. now it is compatible with EditorApp
2010-09-30 08:08:57 +00:00
krasimir
72f505d7df
update PGFService to work after the extensions in the random generation API
2010-09-30 07:35:54 +00:00
krasimir
10a0d370dc
fix the compilation of FridgeApp
2010-09-29 14:15:36 +00:00
krasimir
f94725ba4a
restore the method BracketedString.render which was needed for TranslateApp
2010-09-29 13:53:13 +00:00
krasimir
7c43855ddf
add Magnet.getWord()
2010-09-29 13:47:51 +00:00
krasimir
eb7679763e
added compilation scripts for the editor
2010-09-29 13:32:23 +00:00
krasimir
f1713c3634
initial import of the new GF editor. Note: the FridgeApp is temporary broken. It will be fixed with the next patch
2010-09-29 13:17:48 +00:00
hallgren
518a27a009
minibar: work on adding back support for typing multiple words without pressing enter in between
...
It mostly works now, but some minor issues still need to be fixed.
2010-09-29 13:03:40 +00:00
hallgren
31d0e84617
minibar: update about.html with description of recent changes
2010-09-28 11:46:32 +00:00
