move ast_filters into original syntax

src/cold/ast_filters.ml

@@ -1,53 +1,52 @@
+
 open Util
-open Astf
+open Astf 
+
 type key = string
-type 'a filter = 'a -> 'a
-let interf_filters: (key,sigi filter) Hashtbl.t = Hashtbl.create 40
-let implem_filters: (key,stru filter) Hashtbl.t = Hashtbl.create 40
-let topphrase_filters: (key,stru filter) Hashtbl.t = Hashtbl.create 40
-let applied_interf_filters: (string* sigi filter) Queue.t = Queue.create ()
-let applied_implem_filters: (string* stru filter) Queue.t = Queue.create ()
-let applied_topphrase_filters: (string* stru filter) Queue.t =
-  Queue.create ()
-let apply_interf_filters =
-  function
-  | i ->
-      Queue.fold (function | ast -> (function | (_name,f) -> f ast)) i
-        applied_interf_filters
-let apply_implem_filters =
-  function
-  | i ->
-      Queue.fold (function | ast -> (function | (_name,f) -> f ast)) i
-        applied_implem_filters
-let apply_topphrase_filters =
-  function
-  | i ->
-      Queue.fold (function | ast -> (function | (_name,f) -> f ast)) i
-        applied_topphrase_filters
-let use_interf_filter =
-  function
-  | s ->
-      let u =
-        try Hashtbl.find interf_filters s
-        with | Not_found  -> failwithf "filter %s is not registered" s in
-      Queue.add (s, u) applied_interf_filters
-let use_implem_filter =
-  function
-  | s ->
-      let u =
-        try Hashtbl.find implem_filters s
-        with | Not_found  -> failwithf "filter %s is not registered" s in
-      Queue.add (s, u) applied_implem_filters
-let use_topphrase_filter =
-  function
-  | s ->
-      let u =
-        try Hashtbl.find topphrase_filters s
-        with | Not_found  -> failwithf "filter %s is not registered" s in
-      Queue.add (s, u) applied_topphrase_filters
-let register_sigi_filter =
-  function | (k,f) -> Hashtbl.replace interf_filters k f
-let register_stru_filter =
-  function | (k,f) -> Hashtbl.replace implem_filters k f
-let register_topphrase_filter =
-  function | (k,f) -> Hashtbl.replace topphrase_filters k f
+type 'a filter  = 'a -> 'a
+
+
+let interf_filters: ( key, sigi filter ) Hashtbl.t   = Hashtbl.create 40
+let implem_filters: (key, stru filter ) Hashtbl.t  = Hashtbl.create 40
+
+let topphrase_filters: (key, stru filter ) Hashtbl.t  = Hashtbl.create 40
+
+let applied_interf_filters:  (string * sigi filter ) Queue.t  = Queue.create ()
+let applied_implem_filters:  (string * stru filter ) Queue.t  = Queue.create ()
+let applied_topphrase_filters:  (string * stru filter ) Queue.t  = Queue.create ()
+
+let apply_interf_filters  i =
+  Queue.fold (fun ast (_name,f) -> f ast) i applied_interf_filters
+let apply_implem_filters  i =
+  Queue.fold (fun ast (_name,f) -> f ast) i applied_implem_filters
+let apply_topphrase_filters  i =
+  Queue.fold (fun ast (_name,f) -> f ast) i applied_topphrase_filters
+
+let use_interf_filter s =
+  let u =
+    try Hashtbl.find interf_filters s
+    with Not_found -> failwithf "filter %s is not registered" s in
+  Queue.add (s,u) applied_interf_filters 
+
+let use_implem_filter s =
+  let u =
+    try Hashtbl.find implem_filters s
+    with Not_found -> failwithf "filter %s is not registered" s in
+  Queue.add (s,u) applied_implem_filters
+
+let use_topphrase_filter s =
+  let u =
+    try Hashtbl.find topphrase_filters s
+    with Not_found -> failwithf "filter %s is not registered" s in
+  Queue.add (s,u) applied_topphrase_filters
+
+let register_sigi_filter (k,f) =
+  Hashtbl.replace interf_filters k f
+
+let register_stru_filter (k,f) = 
+  Hashtbl.replace implem_filters k f 
+
+
+let register_topphrase_filter (k,f) =
+  Hashtbl.replace topphrase_filters k f
+

src/main/ast_filters.ml

@@ -0,0 +1 @@
+../cold/ast_filters.ml

src/main/ast_filters.mli

@@ -0,0 +1 @@
+../cold/ast_filters.mli

src/main/ast_quotation.ml

@@ -1,14 +1,17 @@
 
 
-
+(*
 %import{
 Format:
   pp_print_string
   bprintf
   fprintf
   ;
 };;
-
+*)
+let pp_print_string = Format.pp_print_string 
+let bprintf = Format.bprintf
+let fprintf = Format.fprintf
 (** [parse_quotation_result parse_function loc position_tag quotation quotation_result]
   It's a parser wrapper, this function handles the error reporting for you. *)
 

src/main/test.sh

@@ -0,0 +1,5 @@
+#!/bin/sh
+# echo $1
+mv -f $1.ml $1.mli ../cold/
+ln -s ../cold/$1.ml 
+ln -s ../cold/$1.mli