* [Caml-list] spécifications en caml
@ 2001-06-14 1:53 CHARDON Bertrand
2001-06-14 20:39 ` Pierre Weis
0 siblings, 1 reply; 2+ messages in thread
From: CHARDON Bertrand @ 2001-06-14 1:53 UTC (permalink / raw)
To: caml-list
Y a -t- il une logique dans l'affichage par un quelconque interpréteur
caml des prototypes de fonction ??
Je donne un exemple :
Comment comprendre : fonctionX : 'a->'a->'a->'a list....
L'expression me parait ambigue...
Je me souviens qu'avec Caml light les profils de fonction étaient
affichés autrement...
Merci d'éclairer ma lanterne.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] spécifications en caml
2001-06-14 1:53 [Caml-list] spécifications en caml CHARDON Bertrand
@ 2001-06-14 20:39 ` Pierre Weis
0 siblings, 0 replies; 2+ messages in thread
From: Pierre Weis @ 2001-06-14 20:39 UTC (permalink / raw)
To: CHARDON Bertrand; +Cc: caml-list
> Y a -t- il une logique dans l'affichage par un quelconque interpréteur
> caml des prototypes de fonction ??
>
> Je donne un exemple :
>
> Comment comprendre : fonctionX : 'a->'a->'a->'a list....
>
> L'expression me parait ambigue...
>
> Je me souviens qu'avec Caml light les profils de fonction étaient
> affichés autrement...
>
> Merci d'éclairer ma lanterne.
> -------------------
> Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
> To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Oui, il y a une logique: l'opérateur -> est associatif à droite,
c'est-à-dire que
'a -> 'b -> 'c est équivalent à 'a -> ('b -> 'c)
Hope this helps,
Pierre Weis
INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2001-06-14 20:40 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-06-14 1:53 [Caml-list] spécifications en caml CHARDON Bertrand
2001-06-14 20:39 ` Pierre Weis
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox