From 4b51f08281103ec8a4b6c66047a530a1d11071d0 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 30 Jul 2003 15:45:03 +0000 Subject: [PATCH] - support for comments added in mathql_db_map.txt --- helm/ocaml/mathql_interpreter/mQIMap.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/ocaml/mathql_interpreter/mQIMap.ml b/helm/ocaml/mathql_interpreter/mQIMap.ml index 20923f982..341ebd310 100644 --- a/helm/ocaml/mathql_interpreter/mQIMap.ml +++ b/helm/ocaml/mathql_interpreter/mQIMap.ml @@ -48,8 +48,10 @@ let read_map () = let d = input_line ich in match Str.split (Str.regexp "[ \t]+") d with | [] -> aux r s + | "#" :: _ -> aux r s | t :: "<-" :: p -> aux ((p, (false, t, None)) :: r) s | t :: c :: "<-" :: p -> aux ((p, (false, t, Some c)) :: r) s + | t :: "<+" :: p -> aux ((p, (true, t, None)) :: r) s | t :: c :: "<+" :: p -> aux ((p, (true, t, Some c)) :: r) s | [a; "->"; t] -> aux r ((a, t) :: s) | ["->"] -> r, s -- 2.39.2