Fixed unification + lwt bugs, added tests.

CHANGES

@@ -1,2 +1,2 @@
-0.1 (2013-06-09):
+0.1 (2013-06-10):
 * first alpha release

TODO

@@ -1,2 +1 @@
-* Fix Lwt type unification bug (that renders it unusable)
 * Async backend ?

lib/smtp.ml

@@ -95,8 +95,8 @@ module Make (IO : IO) = struct
 
   let finally f g =
     try
-      let ret = f () in g (); ret
-    with exn -> g (); IO.fail exn
+      f () >>= fun ret -> g () >>= fun () -> IO.return ret
+    with exn -> g () >>= fun () -> IO.fail exn
 
   let sendmail ?(host="") ?(port="smtp") ~name ~from ~to_ ~body () =
     connect ~host ~port ~name () >>= fun h ->

lwt/smtp_lwt.ml

@@ -1,4 +1,4 @@
-module IO : Smtp.IO = struct
+module IO = struct
   type 'a t = 'a Lwt.t
   let return = Lwt.return
   let bind = Lwt.bind

smtp.obuild

@@ -12,10 +12,22 @@ library smtp
 
 library smtp_unix
         modules: Smtp_unix
-        builddepends: smtp
+        builddepends: smtp, unix
         src-dir: unix
 
 library smtp_lwt
         modules: Smtp_lwt
         builddepends: smtp, lwt, lwt.unix
         src-dir: lwt
+
+test test_lwt
+        mainis: test_lwt.ml
+        builddepends: smtp_lwt
+        src-dir: test
+        rundir: test
+
+test test_unix
+        mainis: test_unix.ml
+        builddepends: smtp_unix
+        src-dir: test
+        rundir: test

test/test_lwt.ml

@@ -0,0 +1,11 @@
+open Smtp_lwt
+
+let () = match Lwt_main.run
+  (sendmail
+     ~port:"2525"
+     ~name:"localhost"
+     ~from:Addr.(of_string "[email protected]")
+     ~to_:[Addr.(of_string "[email protected]")]
+     ~body:"Bleh" ()) with
+    | `Ok (code, msg) -> Printf.printf "OK %d %s\n" code msg
+    | `Failure (code, msg) -> Printf.eprintf "Failure %d %s\n" code msg

test/test_unix.ml

@@ -0,0 +1,11 @@
+open Smtp_unix
+
+let () = match
+    (sendmail
+       ~port:"2525"
+       ~name:"localhost"
+       ~from:Addr.(of_string "[email protected]")
+       ~to_:[Addr.(of_string "[email protected]")]
+       ~body:"Bleh" ()) with
+      | `Ok (code, msg) -> Printf.printf "OK %d %s\n" code msg
+      | `Failure (code, msg) -> Printf.eprintf "Failure %d %s\n" code msg

unix/smtp_unix.ml

@@ -1,4 +1,4 @@
-module IO : Smtp.IO = struct
+module IO = struct
   type 'a t = 'a
   let return v = v
   let bind v f = f v