7aa13051592d8cb12b28dabb02585d4f38141435
1 (**************************************************************************)
5 (* François Pottier, INRIA Rocquencourt *)
6 (* Yann Régis-Gianas, PPS, Université Paris Diderot *)
8 (* Copyright 2005-2008 Institut National de Recherche en Informatique *)
9 (* et en Automatique. All rights reserved. This file is distributed *)
10 (* under the terms of the Q Public License version 1.0, with the change *)
11 (* described in file LICENSE. *)
13 (**************************************************************************)
15 (* This transformer inlines every function that is called at most
16 once. It also inlines some functions whose body consists of a
17 single function call. At the same time, every function that is
18 never called is dropped. Public functions are never inlined or
21 val inline
: IL.program
-> IL.program