fix examples, readme, and tests

Author: keigoi

README.md

@@ -66,8 +66,7 @@ dune exec examples/mpst/calc.exe
 1. Declare the name of participants (__roles__) and __labels__:
 
 ```
-open Mpst.BasicCombinators
-open Mpst.Unicast
+open Mpst_basic
 
 [%%declare_roles_prefixed a, b, c] (* note that the order matters *)
 [%%declare_labels msg]

examples/calc/calc.ml

@@ -1,5 +1,4 @@
-open Mpst.BasicCombinators
-open Mpst.Unicast
+open Mpst_basic
 
 type op = Add | Sub | Mul | Div
 

examples/calc/dune

@@ -3,4 +3,4 @@
  (modules calc)
  (preprocess
   (staged_pps mpst.ppx.ty))
- (libraries mpst))
+ (libraries mpst-basic))

examples/mixed_choice/dune

@@ -3,4 +3,4 @@
  (modules mixed1)
  (preprocess
   (staged_pps mpst.ppx.ty))
- (libraries mpst))
+ (libraries mpst-basic))

examples/mixed_choice/mixed1.ml

@@ -1,5 +1,4 @@
-open Mpst.BasicCombinators
-open Mpst.Unicast
+open Mpst_basic
 
 [%%declare_roles a, b, c]
 [%%declare_labels req, resp, timeout]

tests/dune

@@ -3,51 +3,51 @@
  (modules test_protocols_mergefail)
  (preprocess
   (pps mpst.ppx))
- (libraries mpst oUnit))
+ (libraries mpst-basic oUnit))
 
 (test
  (name test_protocols_merge)
  (modules test_protocols_merge)
  (preprocess
   (pps mpst.ppx))
- (libraries mpst oUnit))
+ (libraries mpst-basic oUnit))
 
 (test
  (name test_run_loop)
  (modules test_run_loop)
  (preprocess
   (pps mpst.ppx))
- (libraries mpst oUnit))
+ (libraries mpst-basic oUnit))
 
 (test
  (name test_protocols_multicast)
  (modules test_protocols_multicast)
  (preprocess
   (pps mpst.ppx))
- (libraries mpst oUnit))
+ (libraries mpst-basic oUnit))
 
 (test
  (name test_run_multicast)
  (modules test_run_multicast)
  (preprocess
   (pps mpst.ppx))
- (libraries mpst oUnit))
+ (libraries mpst-basic oUnit))
 
 (test
  (name test_linearity_fail)
  (modules test_linearity_fail)
  (preprocess
   (staged_pps mpst.ppx.ty))
- (libraries mpst oUnit))
+ (libraries mpst-basic oUnit))
 
 (test
  (name test_ppx_ty)
  (modules test_ppx_ty)
  (preprocess
   (staged_pps mpst.ppx.ty))
- (libraries mpst oUnit))
+ (libraries mpst-basic oUnit))
 
 (test
  (name test_dynChan)
  (modules test_dynChan)
- (libraries mpst oUnit))
+ (libraries mpst-basic oUnit))

tests/test_dynChan.ml

@@ -1,4 +1,4 @@
-module DynChan = Mpst.DynChan
+module DynChan = Mpst_basic.DynChan
 open OUnit
 
 let test_unify () =

tests/test_linearity_fail.ml

@@ -1,5 +1,4 @@
-open Mpst.BasicCombinators
-open Mpst.Unicast
+open Mpst_basic
 open Rows
 open OUnit
 

tests/test_ppx_ty.ml

@@ -1,5 +1,4 @@
-open Mpst.BasicCombinators
-open Mpst.Unicast
+open Mpst_basic
 open Rows
 open OUnit
 

tests/test_protocols_merge.ml

@@ -1,5 +1,4 @@
-open Mpst.BasicCombinators
-open Mpst.Unicast
+open Mpst_basic
 open Rows
 open OUnit