+ ocamlc.opt -c -g -o scheduler.cmo scheduler.ml File "scheduler.ml", line 27, characters 51-78: 27 | try (List.iter addlinks p.p_eqs) with Cycle -> (raise Combinational_cycle) ; ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 21: this statement never returns (or has an unsound type.) File "scheduler.ml", lines 29-32, characters 4-23: 29 | ....{ p_eqs=topological g; 30 | p_inputs=p.p_inputs; 31 | p_outputs=p.p_outputs; 32 | p_vars=p.p_vars } Error: This expression has type Netlist_ast.program but an expression was expected of type unit Command exited with code 2.