le même phénomène d’ambiguïté (entre ces deux patrons) serait apparu lors d’appels
tels que fct (n,p) ou fct(x,y).
Rappelons que l’ambiguïté n’est détectée que lorsque le compilateur doit instancier une
fonction et non simplement au vu des définitions de patrons elles-mêmes : ces dernières
restent donc acceptées tant que l’ambiguïté n’est pas mise en évidence par un appel la
révélant.
309
tels que fct (n,p) ou fct(x,y).
Rappelons que l’ambiguïté n’est détectée que lorsque le compilateur doit instancier une
fonction et non simplement au vu des définitions de patrons elles-mêmes : ces dernières
restent donc acceptées tant que l’ambiguïté n’est pas mise en évidence par un appel la
révélant.
309
