diff -r a68f64f99832 -r 03f1266a066e src/Tools/Code/code_haskell.ML --- a/src/Tools/Code/code_haskell.ML Thu Nov 25 00:32:30 2010 +0100 +++ b/src/Tools/Code/code_haskell.ML Thu Nov 25 15:40:15 2010 +0100 @@ -362,7 +362,7 @@ in Code_Target.serialization (fn width => fn destination => K () o map (write_module width destination)) - (fn present => fn width => rpair (fn _ => error "no deresolving") + (fn present => fn width => rpair (try (deresolver "")) o format present width o Pretty.chunks o map snd) (map (uncurry print_module_frame o apsnd single) includes @ map (fn module_name => print_module module_name (Graph.get_node haskell_program module_name))