Commit 1a0aceba authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Update changes and todo list

parent 8b941865
......@@ -6,7 +6,6 @@
2. Application has precedence over infix operators
3. An associativity property (none, left, right) can be set to infix operators (left is the default), and a precedence level as well. See the associativity and the precedence section in the [README](README.me).
4. Infix operator can be used as usual constant by surrounding then with left and right parenthesis, so that `t SYM u` = `(SYM) t u`
* Removed the dependency to BOLT (replaced by Logs) and dypgen (replaced by menhir)
# Version 1.4.0
## The acgc.opt/acgc compiler and the acg.opt/acg interpreter:
......
......@@ -3,49 +3,6 @@
* Général
** BUG:
+ [X] si 2 déclarations d'interprétations de la même constante dans un lexique, plusieurs solutions de parsing. Minmal example:
signature abs =
o:type;
a:o->o;
HASH:o;
end
signature strings =
o:type;
a:o->o;
epsilon = lambda x.x:o->o;
end
lexicon form(abs):strings=
o:= o->o;
a := lambda s. lambda z. a (s z);
a := lambda s. lambda z. a (s z);
HASH := epsilon;
end
# load o essai2.acgo;
# form parse a:o;
-> 2 analyses.
+ [X] Bug: analyse d'une constante image d'une constante lève une exception:
signature trees =
tree:type;
une:tree;
end
signature strings =
o:type;
une:o->o;
end
lexicon yield(trees):strings =
tree := o->o;
une := une;
end
# yield parse une:tree;
** TODO Avant Prochaine release
+ [ ] ajouter parsing de types non atomiques
......@@ -55,7 +12,10 @@ end
+ [ ] autoriser l'utilisation de symboles non fonctionnels
+ [ ] rajouter l'utf8
+ [ ] générer svg aussi pour la commande parse
+ [ ] Uniformiser les sorties avec logs
+ [X] Uniformiser les sorties avec logs
+ [ ] Add error (and warning) messages management to the Error module, and make a difference between "real" parsing errors and errors resulting from evaluating the parsing against some environment. The latter can be output all together (may be some limit to be set)
+ [ ] Add debug flag (+ flag for log sources?)
+ [ ] Change command line parsing to use Cmd
** Optimisation
+ [ ] magic rewriting
......
......@@ -3,7 +3,7 @@
* DONE Add an optional ";" before the "end" keyword
* DONE Change lexers to avoid problems with keywords
* DONE Add precedence values and management in the signature
* TODO Add (+) notation style to prevent the infix use of +
* DONE Add (+) notation style to prevent the infix use of +
* DONE Add syntactic extensions to handle associativity and precedence of infix operators
* TODO Add error (and warning) messages management to the Error module, and make a difference between "real" parsing errors and errors resulting from evaluating the parsing against some environment. The latter can be output all together (may be some limit to be set)
* DONE Move from dypgen to menhir in scripts
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment