pa_noexternal.ml

   1 (* Delete the "external" word from the language.
   2  * $Id: pa_noexternal.ml,v 1.1 2007/06/28 19:47:26 rjones Exp $
   3  *)
   4
   5 open Printf
   6 open Camlp4.PreCast
   7 open Syntax
   8
   9 (*DELETE_RULE Gram
  10   str_item: "external"; LIDENT; ":"; ctyp; "="; LIST0 [ STRING ]
  11 END;;*)
  12
  13 (* DELETE_RULE above didn't work.  Easier just to overwrite the rule. *)
  14 EXTEND Gram
  15   GLOBAL: str_item;
  16
  17   str_item: LEVEL "top" [
  18     [ "external"; LIDENT; ":"; ctyp; "="; LIST0 [ STRING ] ->
  19         <:str_item< print_endline "'external' keyword disabled" >> ]
  20   ];
  21 END;;