Do not accept the quoted form "->" in place of ->

This commit is contained in:
Christophe Troestler 2018-02-06 21:14:33 +01:00
parent 0cbd1c7450
commit 8e9ec4a52a
1 changed files with 2 additions and 2 deletions

View File

@ -356,7 +356,7 @@ module Lib_dep = struct
let choice = function let choice = function
| List (_, l) as sexp -> | List (_, l) as sexp ->
let rec loop required forbidden = function let rec loop required forbidden = function
| [Atom (_, "->"); fsexp] | [Quoted_string (_, "->"); fsexp] -> | [Atom (_, "->"); fsexp] ->
let common = String_set.inter required forbidden in let common = String_set.inter required forbidden in
if not (String_set.is_empty common) then if not (String_set.is_empty common) then
of_sexp_errorf sexp of_sexp_errorf sexp
@ -366,7 +366,7 @@ module Lib_dep = struct
; forbidden ; forbidden
; file = file fsexp ; file = file fsexp
} }
| Atom (_, "->") :: _ | Quoted_string (_, "->") :: _ | Atom (_, "->") :: _
| List _ :: _ | [] -> | List _ :: _ | [] ->
of_sexp_error sexp "(<[!]libraries>... -> <file>) expected" of_sexp_error sexp "(<[!]libraries>... -> <file>) expected"
| (Atom (_, s) | Quoted_string (_, s)) :: l -> | (Atom (_, s) | Quoted_string (_, s)) :: l ->