Regle: SubSimpleType

[Christophe L.]

Bonjour,


ma question concerne les actual_type_parameters [ t ] dans la regle
SubSimpleType qui peuvent etre des object_type en option (Some obj ou
None). Dans le cas None, doit-on le traiter comme un type précis ? ou
alors ne pas le prendre en compte ?

i.e. est-ce que [Some A, None] <=> [Some A] ?

[Isabelle Richard]

Je me pose aussi la question :/

Sinon, toujours dans cette règle : à quoi cela sert-il d'évaluer [l] et [l'] en un objet [o_p], puisqu'on ne réutilise pas [o_p] ensuite ?

--

Isabelle

[Christophe L.]

> Sinon, toujours dans cette règle : à quoi cela sert-il d'évaluer [l] et
> [l'] en un objet [o_p], puisqu'on ne réutilise pas [o_p] ensuite ?

Je pense que ce qui est sous-entendu c'est que [l] et [l'] doivent
s'évaluer en le même objet [o_p]

Et pour le problème des types, il faut utiliser la fonction
"fill_tyarg_hole" dans "interpreter.ml" qui renvoie le bon type
d'objet (type Object dans le cas où on a None)

[Isabelle Richard]

Merci ! Maintenant que tu le dis, ça paraît logique pour [o_p]

Le 02/06/12, Christophe L.<c.leb...@gmail.com> a écrit :

--
Isabelle