1 files changed, 9 insertions, 0 deletions
diff --git a/contrib/extraction/test/v2hs.ml b/contrib/extraction/test/v2hs.ml
new file mode 100644
index 00000000..88632875
--- /dev/null
+++ b/contrib/extraction/test/v2hs.ml
@@ -0,0 +1,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()