blob: 88632875411443e743780dc1c9ac3781a1ed55da (
plain)
1
2
3
4
5
6
7
8
9
|
let _ =
for j = 1 to ((Array.length Sys.argv) -1) do
let s = Sys.argv.(j) in
let b = Filename.chop_extension (Filename.basename s) in
let b = String.capitalize b in
let d = Filename.dirname s in
print_string (Filename.concat d (b ^ ".hs "))
done;
print_newline()
|