Commit 48c124a
authored
Accept chardata paths in Mix.Release.make_boot_script/4 (#15573)
Found by re-running the type checker over function bodies with
spec-derived argument domains (#15559): the path argument is spec'd
Path.t() (chardata), but the body applies <> and String.to_charlist/1
to it, so a charlist path -- valid per the spec -- raised
ArgumentError. Normalize with IO.chardata_to_string/1 first, as the
Path module functions do.1 parent b7a82bf commit 48c124a
1 file changed
Lines changed: 2 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
609 | 609 | | |
610 | 610 | | |
611 | 611 | | |
| 612 | + | |
| 613 | + | |
612 | 614 | | |
613 | 615 | | |
614 | 616 | | |
| |||
0 commit comments