File: string_simple_runme.ml

package info (click to toggle)
swig 4.4.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 45,980 kB
  • sloc: cpp: 54,284; ansic: 29,022; java: 17,595; python: 12,734; cs: 10,421; ruby: 7,263; yacc: 6,501; makefile: 5,860; javascript: 5,538; sh: 5,422; perl: 4,246; php: 3,733; ml: 2,198; tcl: 2,015; lisp: 1,448; xml: 115
file content (9 lines) | stat: -rw-r--r-- 200 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
 
open Swig
open String_simple

let str = "olé"

let copy = _copy_str (C_string str) as string

let _ = if str <> copy then
  raise (Failure ("Error: copy is not equal: original="^str^", copy="^copy))