Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_haskell.ML
changeset 40705 03f1266a066e
parent 39209 1ca9055ba1f7
child 40743 b07a0dbc8a38 
--- 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))
isabelle