Merge pull request #312 from shym/espace-bytes

Escape bytes when printing in STM

Author: jmid

CHANGES.md

@@ -5,6 +5,7 @@
 - ensure `cleanup` is run in the presence of exceptions in
   - `STM_sequential.agree_prop` and `STM_domain.agree_prop_par`
   - `Lin_thread.lin_prop` and `Lin_effect.lin_prop`
+- #312: Escape and quote `bytes` printed with `STM`'s `bytes` combinator
 
 ## 0.1.1
 

lib/STM.ml

@@ -31,7 +31,7 @@ let int32 = (Int32, Int32.to_string)
 let int64 = (Int64, Int64.to_string)
 let float = (Float, Float.to_string)
 let string = (String, fun s -> Printf.sprintf "%S" s)
-let bytes = (Bytes, fun b -> QCheck.Print.string (Bytes.to_string b))
+let bytes = (Bytes, fun b -> Printf.sprintf "%S" (Bytes.to_string b))
 let option spec =
   let (ty,show) = spec in
   (Option ty, QCheck.Print.option show)