4 lines
227 B
Text
4 lines
227 B
Text
(* Transition-period synonymy between types, explicit type annotations are just for emphasis *)
|
|
let dst1 : string = Bytes.copy (src : bytes)
|
|
let dst2 : bytes = Bytes.copy (src : string)
|
|
(* fails to compile with -safe-string *)
|