diff options
| author | hallgren <hallgren@chalmers.se> | 2011-02-17 14:38:46 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-02-17 14:38:46 +0000 |
| commit | cc2f9d012cc965e03034c6276e7bb9461066f561 (patch) | |
| tree | bdf2cc8b9529cedaaf478587bdeb5ea9ec4da159 /src/editor/simple/TODO | |
| parent | c6825f38dfee0ea966f65901876e3704f4f7253c (diff) | |
Adding the prototype GF editor for simple multilingual grammars
Diffstat (limited to 'src/editor/simple/TODO')
| -rw-r--r-- | src/editor/simple/TODO | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/src/editor/simple/TODO b/src/editor/simple/TODO new file mode 100644 index 000000000..b9a684518 --- /dev/null +++ b/src/editor/simple/TODO @@ -0,0 +1,28 @@ ++ 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 +- 2. possibility to import modules - both resource libraries and 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 + ++ 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. |
