# HG changeset patch # User haftmann # Date 1292923233 -3600 # Node ID e82fc600a3a5df39fdb7ca1231dc61f15329c149 # Parent ce825d32b4507a6d8a2319a2e4009ff6ea0446dd only depend on exisiting statements diff -r ce825d32b450 -r e82fc600a3a5 src/Tools/Code/code_target.ML --- a/src/Tools/Code/code_target.ML Tue Dec 21 09:29:53 2010 +0100 +++ b/src/Tools/Code/code_target.ML Tue Dec 21 10:20:33 2010 +0100 @@ -421,7 +421,7 @@ val program = prepared_program |> Graph.new_node (value_name, Code_Thingol.Fun (Term.dummy_patternN, (((vs', ty'), [(([IVar NONE], t), (NONE, true))]), NONE))) - |> fold (curry Graph.add_edge value_name) deps; + |> fold (curry (perhaps o try o Graph.add_edge) value_name) deps; val (program_code, deresolve) = produce (mounted_serializer program); val value_name' = the (deresolve value_name); in (program_code, value_name') end;