summaryrefslogtreecommitdiff
path: root/src/editor/simple/TODO
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-02-17 14:38:46 +0000
committerhallgren <hallgren@chalmers.se>2011-02-17 14:38:46 +0000
commitcc2f9d012cc965e03034c6276e7bb9461066f561 (patch)
treebdf2cc8b9529cedaaf478587bdeb5ea9ec4da159 /src/editor/simple/TODO
parentc6825f38dfee0ea966f65901876e3704f4f7253c (diff)
Adding the prototype GF editor for simple multilingual grammars
Diffstat (limited to 'src/editor/simple/TODO')
-rw-r--r--src/editor/simple/TODO28
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.