Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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?