Original bug ID: 3897
Reporter: anonymous
Status: closed (set by @damiendoligez on 2005-12-15T13:01:30Z)
Resolution: won't fix
Priority: normal
Severity: feature
Version: 3.09.0
Category: ~DO NOT USE (was: OCaml general)

Bug description

J'ai remarqué que les caractères ['\161'-'\165' '\167' '\169' '\170'-'\179' '\181'-'\182' '\185'-'\189' '\191' '\215' '\247'] ne sont pas du tout utiliser par le Langage Ocaml. Or ces caractères pour la plus part peuvent être des signe sympathique pour des nouveaux opérateurs.

De même j'ai remarqué qu'il n'y a pas en Ocaml de classe d'opérateur suffixe. Or avec une modification simple de la grammaire nous pouvons en avoir sans crée de conflit. Il suffi de sélectionné un sous ensemble des caractères encore inutilisé pour en faire des "repères" d'opérateur infixe.

Ainsi on peut crée des choses comme :
Objective Caml version 3.09.0

let (²) x = x * x ;;

val ( ² ) : int -> int =

3²;;

• : int = 9

Voici les modifications pour la version 3.09
parser.mly:

235a236

%token SUFIXOP
944a946,947
| simple_expr SUFIXOP
{ mkexp(Pexp_apply(mkoperator $2 1, ["",$1])) }
1407a1411
| SUFIXOP { $1 }

lexer.mll:

215c215
< ['!' '$' '%' '&' '*' '+' '-' '.' '/' ':' '<' '=' '>' '?' '@' '^' '|' '~']

['!' '$' '%' '&' '*' '+' '-' '.' '/' ':' '<' '=' '>' '?' '@' '^' '|' '~' '\161'-'\165' '\167' '\169' '\170'-'\179' '\181'-'\182' '\185'-'\189' '\191' '\215' '\247']
378a379,380
| ['\161'-'\165' '\167' '\169' '\170'-'\179' '\181'-'\182' '\185'-'\189' '\191' '\215' '\247'] symbolchar * {SUFIXOP(Lexing.lexeme lexbuf)}

Dans l'exemple si dessus tous les nouveaux caractères sont dans la classe "symbole suffix" c'est pas forcement judicieux, il faudrais voir au cas par cas.