diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
| commit | 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad (patch) | |
| tree | d51076a708997d6f1af6ac0deefd535bbc25f804 /src/editor/simple/TODO | |
| parent | 0aba45560d2033c37c3d2e876e6f3ef89e1554d6 (diff) | |
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.
Diffstat (limited to 'src/editor/simple/TODO')
| -rw-r--r-- | src/editor/simple/TODO | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/src/editor/simple/TODO b/src/editor/simple/TODO deleted file mode 100644 index 22974ebe0..000000000 --- a/src/editor/simple/TODO +++ /dev/null @@ -1,43 +0,0 @@ -+ Safety question before deleting a grammar -+ Check identifier syntax -+ Allow lincat for deleted cat to be deleted -+ Allow lin for deleted fun to be deleted -+ Apply category alpha conversion in concrete syntax -+ Remove a concrete syntax -+ Apply function alpha conversion in concrete syntax -+ Change lhs of lins when function type is changed - -+ Allow languages other than the ones in the given list to be added -+ Export as plain text -+ Allow definitions to be reordered - -+ 1. possibility to compile the grammar set, returning a URL to a translator app -+ 2a. possibility to import modules - resource libraries -- 2b. possibility to import modules - user's own auxiliaries -- 3. possibility to upload own modules -+ 4. access to the created files in an on-line shell (making testing possible) -- 5. rule-to-rule type checking and guidance (e.g. with library oper - suggestions) -+ Try grammars in the Translation Quiz -+ Show lincat and lin before params and opers below -+ Create a new concrete syntax by copying an existing one. -- Easy access to compute_concrete from the editor -- Instead of starting with an empty grammar, start a new grammar by copying - an example. -+ Cloning grammars -- Allow grammars to contain a resoure module. Create the resource module by - factoring out common parts of the concrete syntaxes. -- Integrate example-based concrete syntax construction (using Ramona's tool) -- Open lexicon modules? They are not installed by default! - DictEng, MorphalouFre, DictSwe, DictTur, DictBul, DictFun, DictLav - -+ compile only the uploaded grammar even if other grammars are present -+ 'flags startcat' is needed for grammars with only one category (since the - default startcat is S, even if it doesn't exist) - -- Bug! After adding a 2nd def of a fun with a different type and then deleting - the old fun, the corresponding lin will have the wrong lhs. - -+ Bug! The startcat menu shows the first category by default, but the startcat - flag is actually not set until a selection is made from the menu. - |