From 8e09749f12382d793721d513a47c24008ecbbf8d Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Tue, 3 Jul 2018 16:11:29 +0700 Subject: [PATCH] Add missing words to syntax error message Signed-off-by: Rudi Grinberg --- src/syntax.ml | 2 +- test/blackbox-tests/test-cases/fallback-dune/run.t | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/syntax.ml b/src/syntax.ml index dae362fa..8a95138c 100644 --- a/src/syntax.ml +++ b/src/syntax.ml @@ -124,7 +124,7 @@ let renamed_in t ver ~to_ = else begin desc () >>= fun (loc, what) -> Loc.fail loc - "%s was renamed to '%s' in %s of %s" what to_ + "%s was renamed to '%s' in the %s version of %s" what to_ (Version.to_string ver) t.desc end diff --git a/test/blackbox-tests/test-cases/fallback-dune/run.t b/test/blackbox-tests/test-cases/fallback-dune/run.t index 27b03976..d2580573 100644 --- a/test/blackbox-tests/test-cases/fallback-dune/run.t +++ b/test/blackbox-tests/test-cases/fallback-dune/run.t @@ -3,7 +3,7 @@ fallback isn't allowed in dune $ dune build --root dune1 Info: creating file dune-project with this contents: (lang dune 1.0) File "dune", line 2, characters 1-11: - Error: 'fallback' was renamed to '(mode fallback)' in 1.0 of the dune language + Error: 'fallback' was renamed to '(mode fallback)' in the 1.0 version of the dune language [1] 2nd fallback form isn't allowed either @@ -11,7 +11,7 @@ fallback isn't allowed in dune $ dune build --root dune2 Info: creating file dune-project with this contents: (lang dune 1.0) File "dune", line 2, characters 1-17: - Error: 'fallback' was renamed to '(mode fallback)' in 1.0 of the dune language + Error: 'fallback' was renamed to '(mode fallback)' in the 1.0 version of the dune language [1] But it is allowed in jbuilder