From f240612ef4d33640eae8a04b8fe3e369465799c7 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 23 Oct 2006 20:36:40 +0000 Subject: [PATCH] todo in compiler doc --- doc/compiling-gf.txt | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/doc/compiling-gf.txt b/doc/compiling-gf.txt index e0d55cd8e..997b6647a 100644 --- a/doc/compiling-gf.txt +++ b/doc/compiling-gf.txt @@ -25,11 +25,9 @@ The grammar compiler prepares a GF grammar for two computational tasks: The grammar gives a declarative description of these functionalities, -on a high abstraction level that helps grammar writing +on a high abstraction level that improves grammar writing productivity. -Some of the ideas in GF and experience gained from it -can be useful for other special-purpose functional languages. #NEW @@ -557,3 +555,17 @@ Thanks to record subtyping, the translation is simple: \x1,...,xn -> (t x1 ... xn) ** {lock_C = {}} ``` +#NEW + +==Things to do== + +Better compression of gfc file format. + +Type checking of dependent-type pattern matching in abstract syntax. + +Compilation-related modules that need rewriting +- ``ReadFiles``: clarify the logic of dependencies +- ``Compile``: clarify the logic of what to do with each module +- ``Compute``: make the evaluation more efficient +- ``Parsing/*``, ``OldParsing/*``, ``Conversion/*``: reduce the number + of parser formats and algorithms \ No newline at end of file