File: aggregate_runme.ml

package info (click to toggle)
swig 4.1.0-0.2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 47,992 kB
  • sloc: cpp: 50,555; ansic: 27,840; java: 15,366; python: 11,221; cs: 8,852; ruby: 6,307; yacc: 6,290; makefile: 5,702; sh: 5,492; perl: 3,818; php: 3,046; ml: 2,094; lisp: 1,756; javascript: 1,751; tcl: 1,499; xml: 115
file content (15 lines) | stat: -rw-r--r-- 373 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
open Swig
open Aggregate

let _ =
  assert((_move (_UP '()) as int) = (_UP '() as int));
  assert((_move (_DOWN '()) as int) = (_DOWN '() as int));
  assert((_move (_LEFT '()) as int) = (_LEFT '() as int));
  assert((_move (_RIGHT '()) as int) = (_RIGHT '() as int));
;;

let _ =
  try
    _move(0 to int)
  with Failure _ -> exit 0
let _ = raise (Failure "0 test failed")