blob: 3e8430b5c32b03c417cc2219b7d8be01b9cae9c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
(* TEST
readonly_files = "main.c"
arguments = "-DUNIT_INT -DFUN=takmain main.c"
* asmgen
*)
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
(function "tak" (x:int y:int z:int)
(if (> x y)
(app "tak" (app "tak" (- x 1) y z int)
(app "tak" (- y 1) z x int)
(app "tak" (- z 1) x y int) int)
z))
(function "takmain" (dummy: int)
(app "tak" 18 12 6 int))
|