English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] about Obj.magic
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: John D. Barnett <barnett@M...>
Subject: Re: [Caml-list] about Obj.magic
dengping zhu wrote:

>type ty = ty1 -> ty2   
>
>let x = (f (g)) a
>
>... So, I was thinking that the compiler treated ty as an
>atomic type, not a function type.
>
I'm new to ocaml myself, so I'm only guessing. But it seems you could 
test your idea by removing the type definition for ty, allowing the 
compiler to infer the proper function type.

Just a thought-

-John
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners