Lex and discard comments

1 files changed, 0 insertions, 42 deletions

diff --git a/language/l2_parse.ott b/language/l2_parse.ott
index 18d68a54..90fa544e 100644
--- a/language/l2_parse.ott
+++ b/language/l2_parse.ott
@@ -52,40 +52,6 @@ type 'a annot = l * 'a
 
 exception Parse_error_locn of l * string
 
-type ml_comment = 
-  | Chars of string
-  | Comment of ml_comment list
-
-type lex_skip =
-  | Com of ml_comment
-  | Ws of string
-  | Nl
-
-type lex_skips = lex_skip list option
-
-let pp_lex_skips ppf sk = 
-  match sk with
-    | None -> ()
-    | Some(sks) ->
-        List.iter
-          (fun sk ->
-             match sk with
-               | Com(ml_comment) ->
-                   (* TODO: fix? *)
-                   Format.fprintf ppf "(**)"
-               | Ws(r) ->
-                   Format.fprintf ppf "%s" r (*(Ulib.Text.to_string r)*)
-               | Nl -> Format.fprintf ppf "\\n")
-          sks
-
-let combine_lex_skips s1 s2 =
-  match (s1,s2) with
-    | (None,_) -> s2
-    | (_,None) -> s1
-    | (Some(s1),Some(s2)) -> Some(s2@s1)
-
-type terminal = lex_skips
-
 }}
 
 embed
@@ -98,14 +64,6 @@ type l =
   | Trans of string * option l
   | Range of num * num
 
-type lex_skip =
-  | Com of string
-  | Ws of string
-  | Nl
-
-type lex_skips = option (list lex_skip)
-type terminal = lex_skips
-
 val disjoint : forall 'a . set 'a -> set 'a -> bool
 let disjoint s1 s2 = 
   let diff = s1 inter s2 in