--- a/src/Tools/Code/code_haskell.ML Thu Sep 02 17:02:00 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML Thu Sep 02 19:08:48 2010 +0200
@@ -402,7 +402,7 @@
in
Code_Target.serialization
(fn width => fn destination => K () o map (write_module width destination))
- (fn present => fn width => rpair [] o format present width o Pretty.chunks o map snd)
+ (fn present => fn width => rpair (fn _ => error "no deresolving") o format present width o Pretty.chunks o map snd)
(map (uncurry print_module) includes
@ map serialize_module (Symtab.dest hs_program))
end;