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

Fix Path.pp

This commit is contained in:
Jeremie Dimino 2018-01-19 22:44:30 +00:00
parent 92c7927432
commit 8b11b494d2
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/path.ml
View File

@ -474,7 +474,7 @@ let change_extension ~ext t =
let extension = Filename.extension
let pp = Format.pp_print_string
let pp ppf t = Format.pp_print_string ppf (to_string t)
let drop_prefix t ~prefix =
let t = to_string t in

2
test/unit-tests/path.mlt
View File

@ -40,7 +40,7 @@ Path.(descendant Path.root ~of_:(r "foo"))
Path.(descendant Path.root ~of_:Path.root)
[%%expect{|
- : Jbuilder.Path.t option = Some
- : Jbuilder.Path.t option = Some .
|}]
Path.(descendant (r "foo") ~of_:Path.root)