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

Set dune language version to 1.0 (#873) 

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
This commit is contained in:
Jérémie Dimino 2018-06-11 16:17:22 +01:00 committed by GitHub
parent b83d1049fc
commit 58a47e4ff8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dune-project
View File

@ -1,2 +1,2 @@
(lang dune 0.1)
(lang dune 1.0)
(name dune)

4
src/dune_project.ml
View File

@ -176,10 +176,10 @@ let load_dune_project ~dir packages =
Loc.fail loc "%s is not a supported langauge. \
Only the dune language is supported." s);
(match version with
| _, "0.1" -> ()
| _, "1.0" -> ()
| loc, s ->
Loc.fail loc "Unsupported version of the dune language. \
The only supported version is 0.1." s);
The only supported version is 1.0." s);
let sexp = Sexp.Parser.parse lb ~mode:Many_as_one in
parse ~dir packages sexp)

2
test/blackbox-tests/test-cases/dune-ppx-driver-system/dune-project
View File

@ -1 +1 @@
(lang dune 0.1)
(lang dune 1.0)