This commit is contained in:
Jeremie Dimino 2017-05-31 10:20:33 +01:00
parent 373e6c2524
commit 92f0b7daaa
1 changed files with 4 additions and 1 deletions

View File

@ -29,10 +29,13 @@ infer (Progn
- : string list * string list = (["a"], ["b"; "c"])
|}]
(* CR-someday jdimino: ideally "b" should be treated as a non-buildable targets. As long
as [rename] is not available in the DSL given to user, we don't need to care about this
too much. *)
infer (Progn
[ Copy (p "a", p "b")
; Rename (p "b", p "c")
]);;
[%%expect{|
- : string list * string list = (["a"], ["c"])
- : string list * string list = (["a"], ["b"; "c"])
|}]