Commit Graph

2319 Commits

Author SHA1 Message Date
aarne
1f75143d6c printing option -api in the eb command 2010-12-06 10:49:38 +00:00
ra.monique
7fba8c338d no more IO in the syntax to API translator 2010-12-06 10:15:14 +00:00
aarne
00111b10c1 vt -api with conversion to resource API names 2010-12-06 09:53:04 +00:00
ra.monique
6268c2d7d9 added syntax to api translation module 2010-12-05 19:51:19 +00:00
hallgren
18e3687832 minibar: rewrite minibar.js in a more idiomatic JS OOP style
This provides easier access to minibar internals for people who want to extend
it, but probably also reveals too much of the internal machinery...
2010-12-01 16:37:14 +00:00
hallgren
b0027c3305 Let minibar keep its own copy of tree-btn.png 2010-12-01 16:28:27 +00:00
hallgren
a2b9a684c0 support.js: add function bind (JS OOP trick) 2010-12-01 16:20:28 +00:00
aarne
1b5fa37a26 two examples of the .gfm format 2010-11-30 14:54:03 +00:00
aarne
752a7b8030 format .gfm for multiple modules in the same file; includes lines with ;-separated words 2010-11-30 14:50:24 +00:00
hallgren
8e6421a03e minibar/about.html: minor adjustments 2010-11-28 11:52:48 +00:00
hallgren
52eb1dcc37 Add builtin preprocessors. Avoid creating tmp file. Fix multipreprocessor bug.
* The gf command line options -preproc=mkPresent and -preproc=mkMinimal now
  refer to internal preprocessors equivalent to lib/src/mkPresent
  and lib/src/mkMinimal.

* The temporary file _gf_preproc.tmp is not created when running an
  internal preprocessor, unless there is an error, since errors messages
  refer to locations in the preprocessed file. (Possibly allowing the rgl
  build to be parallelized.)

* After running an external preprocessor, the temporary file is deleted,
  unless there was an error.

* (Bug fix) Before, when running more than one preprocessor, the same file name
  would be used for both input and output, e.g.,

	mkPresent _gf_preproc.tmp > _gf_preproc.tmp

  which would result in an empty file being processed. Now, the input and
  output files will always be different.
2010-11-26 18:25:29 +00:00
hallgren
72d2d9b204 Split pgf-server into pgf-fcgi and pgf-http.
The dependency on the fastcgi package made pgf-server difficult to compile, so
it is now split into

  - pgf-fgci (main module in pgf-fcgi.hs), which is built only if fastcgi is
    already installed or if you turn on the fastcgi flag (e.g. by doing
    'cabal install -f fastcgi').

  - pgf-http (main module in pgf-http.hs) which is always built (and hopefully
    has no problematic dependencies.) 

The modules FastCGIUtils and PGFService no longer depend on fastcgi.
2010-11-26 14:30:51 +00:00
hallgren
75ad59b121 pgf-server: more useful JSON output from lineraizeAll
Example:

Request: http://www.grammaticalframework.org:41296/grammars/Quiz.pgf?command=linearizeAll&tree=Run+YouPl

Response: [{"to":"QuizEng","texts":["you run"]},
           {"to":"QuizSwe","texts":["ni l??per","ni springer"]}]

Compared to the old command linearize:

Request: http://www.grammaticalframework.org:41296/grammars/Quiz.pgf?command=linearize&tree=Run+YouPl'

Response: [{"to":"QuizEng","text":"you run"},
           {"to":"QuizSwe","text":"ni l??per"}]
2010-11-25 18:30:30 +00:00
aarne
243a0b3659 DiffUrd and Hin; updated Transliteration.hs 2010-11-25 12:22:58 +00:00
aarne
6734572aaf linearizeAll in PGFService 2010-11-24 21:17:29 +00:00
aarne
153568c17f lang flag in align_words sets the list of languages 2010-11-22 22:41:29 +00:00
krasimir
0b80b3ef0a command ai in the shell now shows the probability of the tree 2010-11-24 12:51:54 +00:00
hallgren
ee85111d38 minibar/about.html: document recent development 2010-11-23 12:26:32 +00:00
aarne
0bf4179369 tools/Multi, a script for generating multilingual lexicon grammars with the minimum of effort 2010-11-19 16:50:32 +00:00
aarne
2acb125f6f fixed some bugs in translation quiz 2010-11-17 08:30:02 +00:00
krasimir
7a2ab26f9f forgot to add ContentService.java in the GF Editor 2010-11-17 10:46:00 +00:00
krasimir
f6a7292ad2 bugfix for the abstract operations 2010-11-15 09:38:31 +00:00
krasimir
115b4213d5 operations in the abstract syntax 2010-11-12 19:37:19 +00:00
hallgren
41df4e00ff Some pgf-server API documentation 2010-11-09 21:02:07 +00:00
hallgren
b0594eb545 pgf_online.js: if a grammar list is supplied, you don't have to call switch_grammar. 2010-11-09 16:29:04 +00:00
hallgren
61837063a1 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
91ba2c01bf minibar.js: code simplification 2010-11-09 11:58:38 +00:00
hallgren
e07098e31f support.js: two new functions: commonPrefix & insertFirst 2010-11-05 15:41:06 +00:00
krasimir
f86ed9677a fix the history management in the editor 2010-11-07 16:17:15 +00:00
aarne
c5334613c5 trying to find some inefficiencies in Finnish resource 2010-10-25 19:56:47 +00:00
krasimir
ad28e99f35 preliminary UI for storage/retrieval/search of documents in the GF editor 2010-11-01 09:25:22 +00:00
ramona.enache
1f8a0f0876 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
524fb1a6bc 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
7fac5dc089 minibar.js: bug fix: the To: menu wasn't updated properly when switching grammars 2010-10-28 11:53:50 +00:00
hallgren
5fc0e059c5 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
1e51a2e9e5 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
0ba1daf5eb 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
aa6b07afdb 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
84736e5712 fixed typo in GeneratePMCFG.hs. fidFloat -> fidVar 2010-10-25 11:48:17 +00:00
krasimir
2d3340b48a 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
822a70cf7a 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
82edf7bebb support for proof search with high-order functions 2010-10-21 12:47:26 +00:00
krasimir
2991b7acef bugfix in the term generation 2010-10-20 13:36:39 +00:00
krasimir
d45b4ae426 fixed typo which broke the parsing with -openclass 2010-10-20 09:04:48 +00:00
krasimir
4ac1cf4970 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
775e59dabe added explicit depth parameter to the parsing API and the corresponding command in the shell 2010-10-18 16:51:25 +00:00
krasimir
205ac48ac3 typo in PGF.TypeCheck which spoiled the previous patch 2010-10-18 16:50:55 +00:00
krasimir
702b4aad3b 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
57f0124f2a 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
d803d2a925 minibar.js: show the type error messages that can occur for grammars with dependent types 2010-10-18 12:15:30 +00:00