File: aggregate_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 (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")