matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Improve error message for %{<} 

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
This commit is contained in:
Jeremie Dimino 2018-07-09 16:23:09 +01:00 committed by Rudi Grinberg
parent df15d30845
commit 0b1abc68bd
2 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/pform.ml
View File

@ -53,7 +53,10 @@ module Map = struct
; "project_root", since ~version:(1, 0) Var.Project_root ; "project_root", since ~version:(1, 0) Var.Project_root
; "<", deleted_in Var.Deps ~version:(1, 0) ; "<", deleted_in Var.Deps ~version:(1, 0)
~repl:"Use a named dependency instead: (:<name> <dep>)" ~repl:"Use a named dependency instead:\
\n\
\n\ (deps (:x <dep>) ...)\
\n\ ... %{x} ..."
; "@", renamed_in ~version:(1, 0) ~new_name:"targets" ; "@", renamed_in ~version:(1, 0) ~new_name:"targets"
; "^", renamed_in ~version:(1, 0) ~new_name:"deps" ; "^", renamed_in ~version:(1, 0) ~new_name:"deps"
; "SCOPE_ROOT", renamed_in ~version:(1, 0) ~new_name:"project_root" ; "SCOPE_ROOT", renamed_in ~version:(1, 0) ~new_name:"project_root"

5
test/blackbox-tests/test-cases/syntax-versioning/run.t
View File

@ -21,6 +21,9 @@
$ dune build $ dune build
File "dune", line 1, characters 40-42: File "dune", line 1, characters 40-42:
Error: %{<} was deleted in version 1.0 of the dune language. Error: %{<} was deleted in version 1.0 of the dune language.
Use a named dependency instead: (:<name> <dep>) Use a named dependency instead:
(deps (:x <dep>) ...)
... %{x} ...
[1] [1]
$ rm -f dune $ rm -f dune