Anonymous object/class (revisited)

[David Clarke <clad@mpce.mq.edu.au>]

Hi,

The following camlp4 preprocessor code allows you to use
anonymous objects in ocaml, including objects inside
classes and other anonymous objects.

It is a slight improvement on William Chester's implementation
from less than a month ago. It also contains a little more
documentation and an example.

The code transforms an anonymous object declaration into a
class defined within a local module, and then creates an instance
of that class. Simple.

The code follows (with an example in the comment).

If you find this useful, implement any extensions, find some
problems or limitations, etc etc, I would love to know.

Dave

---------------======------------=====000000------0===-=0===-0==------0--
David Clarke         "Well, you'll work harder with a gun in your back
http://www.mri.mq.edu.au/~clad                for a bowl of rice a day"
---------------======------------=====000000------0===-=0===-0==------0--


----------- proto.ml --------------
(* 
CAMLP4 code extending OCAML with anonymous objects.

An anonymous object can appear anywhere an expression can, including
inside classes and other anonymous objects.

An example is

object
    val mutable data = 10
    method update x = data <- x
    method get = data
  end

which is translated to

let module Mod1 = struct
    class cla2 = object
    val mutable data = 10
    method update x = data <- x
    method get = data
  end
  end
in
    new Mod1.cla2

The syntax of anonymous objects is the same as the
  object ... end
clause of the class-expr clause in the grammar.


Limitations: There are bound to be some.

*)

let genname =
  let count = ref 0 in
    function pre -> count := !count + 1; pre ^ string_of_int(!count);;

open Pcaml;;

EXTEND
  expr: LAST
    [[ ce = class_expr -> 
	 let modname = genname "Mod" in
	 let cname = genname "cla" in
	 let longname = [modname; cname] in
	   <:expr< let module $modname$ = 
		       struct 
			 class $cname$ = $ce$; 
		       end 
		       in new $list:longname$ >>
     ]];
END;;


-------- instructions -----------
Needs camlp4.

To compile:
ocamlc -pp "camlp4o pa_extend.cmo q_MLast.cmo" -I `camlp4 -where` -c proto.ml

To run just preprocessor:
camlp4o pr_o.cmo ./proto.cmo test.ml

To apply to your own programs:
ocamlc -pp "camlp4o ./proto.cmo" -o tester test.ml


--------- test.ml --------------
(* this is a test file for the anonymous objects extension to OCAML *)

(* a simple example *)
let z = object
    val mutable data = 10
    method update x = data <- x
    method get = data
end;;

let y = z#get;;

let _ = print_int y; print_newline (); flush stdout;;

(* an example with an lexically scoped inner object *)
let outer = 
object (oself)
  val mutable data = "hello"
  method print = print_string data; print_newline ()
  method update x = data <- x
  method extern =
    object
      method update x = data <- x
      method downdate x = oself#update x
    end
end;;


let _ = outer#print;;
let _ = outer#update "spam"; outer#print;;
let ex = outer#extern;;
let _ = ex#update "jimmy jo"; outer#print;; 
let _ = ex#downdate "flavour of the month"; outer#print; flush stdout;; 

------- EOF ----------