Some obsolete constructions ?

Some obsolete constructions ?

[Emmanuel Dieul]

Hello,

I'm building an outline of an ocaml source file (interface or 
implementation) with
the abstract syntax tree generated by the -dparsetree compiler option.

This abstract syntax tree is printed via the 
/ocaml/release/3.11.2/parsing/printast.ml
module. During my cover tests, I didn't managed to obtain these AST 
elements :
    - Pcf_let : a let construction as a class field ?
    - Pexp_letmodule : ?
    - Pexp_override : an override expression ?
    - Ppat_type : a type pattern matching ?
    - Rinherit : an inherit row field ?

Are these constructions obsolete ? If not, which code could generate 
these AST elements ?

Thanks,

Emmanuel

Re: [Caml-list] Some obsolete constructions ?

[Alain Frisch]

On 04/30/2010 03:23 PM, Emmanuel Dieul wrote:
> - Pcf_let : a let construction as a class field ?

AFAIK, this one is obsolete.

> - Pexp_letmodule : ?

let module L = List in ();;

> - Pexp_override : an override expression ?

object(this) method m = {< >} end;;

> - Ppat_type : a type pattern matching ?

type t = [`A];;
fun #t -> ();;

> - Rinherit : an inherit row field ?

type t = [`A];;
type s = [t | `B];;



-- Alain

Re: [Caml-list] Some obsolete constructions ?

[Emmanuel Dieul]

Le 30/04/2010 16:18, Alain Frisch a écrit :
> On 04/30/2010 03:23 PM, Emmanuel Dieul wrote:
>> - Pcf_let : a let construction as a class field ?
>
> AFAIK, this one is obsolete.
>
>> - Pexp_letmodule : ?
>
> let module L = List in ();;
>
>> - Pexp_override : an override expression ?
>
> object(this) method m = {< >} end;;
>
>> - Ppat_type : a type pattern matching ?
>
> type t = [`A];;
> fun #t -> ();;
>
>> - Rinherit : an inherit row field ?
>
> type t = [`A];;
> type s = [t | `B];;
>
>
> -- Alain
>
>

Great ! This completes my knowledge of ocaml constructions !...
Thanks !