Home My Page Projects Tom
Summary Activity Tracker Lists Tasks Docs News SCM Files Mediawiki

[#8556] erreur de compilation non signalée de gom

Date:
2009-09-17 09:01
Priority:
3
State:
Open
Submitted by:
Guillaume Bonfante (bonfante)
Assigned to:
Antoine Reilles (tonio)
Category:
Gom
Group:
none
Resolution:
none
Summary:
erreur de compilation non signalée de gom

Detailed description
Le fichier suivant compile sans erreur, mais a la ligne
Mult(U,v*) -> Mult(t*,U,v*)

on introduit une variable t* définie nulle part. Le code java généré est faux.

Guillaume
Message  ↓
Date: 2009-09-17 09:34
Sender: Antoine Reilles

En effet, la compilation des règles dans gom est particulièrement idiote: en gros, on passe le truc a tom en faisant un minimun de vérifications.
Comme en tom, on peut utiliser une variable java en membre droit, et que tom ne peut pas savoir quelles variables java sont déclarées et lesquelles ne le sont pas, il laisse passer.

Il n'est peut être pas difficile de faire une vérification sur l'existence des variables en membre droit dans gom, je vais voir ça.

Attachments:
Size Name Date By Download
336 bytesN2.t2009-09-17 09:02bonfanteN2.t
Field Old Value Date By
assigned_tonone2009-09-17 09:34tonio
File Added1464: N2.t2009-09-17 09:02bonfante