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
status of some big "important" features?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-01-02 (11:06)
From: Chris Hecker <checker@d...>
Subject: Re: status of some big "important" features?

>Camlp4 does not know what a type definition is: for it, it is just a
>syntax thing. Therefore, in the line "print_member_camlp4 a", Camlp4
>does not know what "a" is: for it, it is just "the identifier a",
>that's all. The fact that it is a variable previously defined of type
>"foo" is typing. If you want to treat that at Camlp4 time, you have to
>write a types inference algorithm. A compiler...

Ah, I see.  How hard would it be to hook camlp4 (or another "plugin" type thing, but it would be good if it was the same structure as camlp4) into other stages of the compiler, like after type inference?