* [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