blob: e490808152ace40ad65a6502ce99aafef16dbb9b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
(* camlp4r pa_extend.cmo q_MLast.cmo *)
(***********************************************************************)
(* *)
(* Camlp4 *)
(* *)
(* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2001 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
open Pcaml;
value t = ref "";
Quotation.add ""
(Quotation.ExAst
(fun c s ->
let _loc = c.Quotation.loc in
let t =
if t.val = "" then "<<" ^ s ^ ">>"
else "<:" ^ t.val ^ "<" ^ s ^ ">>"
in
<:expr< $uid:t$ >>,
fun c s ->
let _loc = c.Quotation.loc in
let t =
if t.val = "" then "<<" ^ s ^ ">>"
else "<:" ^ t.val ^ "<" ^ s ^ ">>"
in
<:patt< $uid:t$ >>))
;
Quotation.default.val := "";
Quotation.translate.val := fun s -> do { t.val := s; "" };
|
