summaryrefslogtreecommitdiff
path: root/contrib/extraction/test/v2hs.ml
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()