Commit 76c406e3 authored by Pietro Abate's avatar Pietro Abate

[r2003-05-15 08:27:56 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-15 08:27:56+00:00
parent bc5f8078
......@@ -10,6 +10,15 @@ NameChar ::= Letter | Digit | '.' | '-' | '_' | ':'
Donc en particulier au moins permettre _ et : comme debut de tag et . -
au milieu du tag
Alain 2003-05-15
En fait, il vaut mieux imposer les contraintes de Namespaces
(ie, au plus un : ).
C'est presque fait au niveau du lexer; il suffit de trouver une
syntaxe quand le source est en Latin1 pour mettre des charactères
non représentables dans les identificateurs/tags.
======================================================================
Alain 2003-01-20
......@@ -24,7 +33,13 @@ avec T==Empty
Ou alors, dès que l'on rencontre une expression de type vide ?
Regarder plus en general la section Error minimg du Design paper
Regarder plus en general la section Error mining du Design paper
Alain 2003-05-15
Détection des déclaration de type qui donnent un type vide
======================================================================
......@@ -45,6 +60,11 @@ and ifthenelse
(Add floats????)
Alain 2003-05-15
Booléens: type Bool = `True | `False
if-then-else
Comparaison << >> = <= >= sur toutes les valeurs non-fonctionnelles
======================================================================
Beppe 2003-01-23
......@@ -66,6 +86,9 @@ Add the following types.
<? T> String
<!cdata> String
Alain 2003-05-15
Il faut faire attention: on ne veut pas de commentaires dans la
representation interne, on ne veut pas distinguer section CDATA, etc...
======================================================================
......@@ -73,10 +96,12 @@ Alain 2003-03-16
Issue a warning for inclusion loops
Alain 2003-05-15
Done
======================================================================
Alain
2003-03-16
Alain 2003-03-16
Pretty-printing (or at least decent-printing) of types
Decompilation of regexp
......@@ -84,10 +109,31 @@ Alain
======================================================================
Zack
2003-05-08
Zack 2003-05-08
Support for unary "-"
Alain 2005-05-15
Fait (pas très satisfaisant: a-b est un identificateur;
1-2 ne marche pas non plus; etc...)
======================================================================
Alain 2003-05-15
Terminer support pour Unicode:
load_xml charge représentation UTF-8; adapter print_xml
noms de tags et identificateurs en UTF-8 en interne
======================================================================
Alain 2003-05-15
Support pour namespaces.
Deux solutions: utiliser paires à la place des tags dans les
éléments XML, ou faire que les tags/atomes soient des paires.
Syntaxe pour déclarer des préfixes dans les sources.
Etudier les problèmes avec print_xml (ex: XHTML a besoin
d'avoir un prefixe bien défini...)
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