Commits

Anonymous committed fa7900d

Add of function 'is_PP'.

Comments (0)

Files changed (1)

   | Ident of string | Int of int | Float of float * int | Char of char | String of string | Term of string
   | PP_tilda | PP_space | PP_cut | PP_break of int * int | PP_newline
 
+(* predicate filtering PP_* tokens *)
+let is_PP = function PP_tilda | PP_space | PP_cut | PP_break _ | PP_newline -> true | _ -> false
+
 (* get the precision of a float number from its writing *)
 let prec_of_sfloat : string -> int =
   fun s ->