File: aggregate_runme.ml

package info (click to toggle)
swig 4.0.2-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 42,876 kB
  • sloc: cpp: 61,013; ansic: 27,612; java: 14,670; python: 10,632; cs: 8,103; makefile: 6,287; yacc: 6,197; sh: 5,247; ruby: 5,172; perl: 3,541; php: 2,069; ml: 2,066; lisp: 1,894; javascript: 1,300; tcl: 1,091; xml: 115
file content (15 lines) | stat: -rw-r--r-- 373 bytes parent folder | download | duplicates (3) 
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")