Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] External typing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Warp <warplayer@f...>
Subject: [Caml-list] External typing
Hi
I have something like :

external f1 : my_very_long_indentifier -> one_other_id -> int = "f1"
external f2 : my_very_long_indentifier -> one_other_id -> bool = "f2"
....

And I would like to have :

type 'a conv = my_very_long_indentifier -> one_other_id -> 'a

external f1 : int conv = "f1"
external f2 : bool conv = "f2"

Which is - you'll agree - a lot nicer.

But the computer yield to me "External identifiers must be functions" when I
try this. Is that notation really impossible with externals or is there some
tip ? Does the compiler shouldn't know that "int conv" is a functional type
?

Thanks
Nicolas Cannasse

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