Merge pull request #164 from shym/split-lin-packages

doc/example/dune

@@ -3,7 +3,7 @@
 (executable
  (name lin_tests_dsl)
  (modules lin_tests_dsl)
- (libraries qcheck-lin))
+ (libraries qcheck-lin.domain))
 
 
 ;; A model-based test of the stdlib Hashtbl library

doc/example/lin_tests_dsl.ml

@@ -7,7 +7,7 @@ struct
   let init () = Hashtbl.create ~random:false 42
   let cleanup _ = ()
 
-  open Lin_api
+  open Lin_base
   let a,b = char_printable,nat_small
   let api =
     [ val_ "Hashtbl.add"    Hashtbl.add    (t @-> a @-> b @-> returning unit);
@@ -17,8 +17,8 @@ struct
       val_ "Hashtbl.length" Hashtbl.length (t @-> returning int); ]
 end
 
-module HT = Lin_api.Make(HashtblSig)
+module HT = Lin_domain.Make(HashtblSig)
 ;;
 QCheck_base_runner.run_tests_main [
-  HT.lin_test `Domain ~count:1000 ~name:"Hashtbl DSL test";
+  HT.lin_test ~count:1000 ~name:"Hashtbl DSL test";
 ]

lib/dune

@@ -23,11 +23,28 @@
  (libraries threads qcheck-core STM_base))
 
 (library
- (name lin)
- (wrapped false)
- (public_name qcheck-lin)
- (modules lin lin_api)
- (libraries threads qcheck-core qcheck-core.runner qcheck-multicoretests-util))
+ (name lin_base)
+ (public_name qcheck-lin.base)
+ (modules lin_internal lin_common lin_base)
+ (libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util))
+
+(library
+ (name lin_domain)
+ (public_name qcheck-lin.domain)
+ (modules lin_domain)
+ (libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.base))
+
+(library
+ (name lin_effect)
+ (public_name qcheck-lin.effect)
+ (modules lin_effect)
+ (libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.base))
+
+(library
+ (name lin_thread)
+ (public_name qcheck-lin.thread)
+ (modules lin_thread)
+ (libraries threads qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.base))
 
 (library
  (name util)

lib/lin_base.ml

@@ -0,0 +1,3 @@
+module Lin_internal = Lin_internal
+module Lin_common = Lin_common
+include Lin_common