Re: [Caml-list] Syntactic inclusion of a.ml in b.ml ?

[Olivier Andrieu <andrieu@ijm.jussieu.fr>]

[-- Attachment #1: Type: Text/Plain, Size: 745 bytes --]

 > Sébastien Hinderer [Fri, 8 Apr 2005]:
 > Dear all,
 > 
 > (How) is it possible to include syntactically a file a.ml in a file
 > b.ml ?
 > 
 > One method that seems to w)rk is to rename b.ml to b.ml.c,
 > and then have in b.ml.c a line saying
 > #include "a.ml"
 > And with this, gcc -E b.ml.c > b.ml
 > produces a file that ocamlc can apparently handle.
 > 
 > But is this considered a good solution, 

not really : IIRC ocaml doesn't follow the same syntactic conventions
as C and the C preprocessor could report errors on valid caml code

 > or is some better solution available ?

you could use camlp4 : the attached syntax extension does this. (Mind
that it works only for parsing, the printer apparently gets confused).

-- 
   Olivier

[-- Attachment #2: pa_inc.ml --]
[-- Type: Text/Plain, Size: 403 bytes --]

#load "pa_extend.cmo";;

let include_file file =
  let ic = open_in file in
  let (implem, _) = !Pcaml.parse_implem (Stream.of_channel ic) in
  close_in ic ;
  (implem, true)

EXTEND
  GLOBAL: Pcaml.implem ;

  Pcaml.implem:
    [ [ "INCLUDE" ; file = STRING ; ";;" -> include_file file
    ] ];
END

(* Local Variables: *)
(* compile-command: "ocamlc -pp camlp4o -I +camlp4 -c pa_inc.ml" *)
(* End: *)