# HG changeset patch
# User haftmann
# Date 1423161853 -3600
# Node ID ddb73392356ef1356ade7e491ef8bcff7cc0ceb5
# Parent  9b590e32646a5fa6e7b1302f7d2a70fb6e57e537
explicit type annotation avoids problems with Haskell type inference

diff -r 9b590e32646a -r ddb73392356e src/HOL/String.thy
--- a/src/HOL/String.thy	Thu Feb 05 13:01:12 2015 +0100
+++ b/src/HOL/String.thy	Thu Feb 05 19:44:13 2015 +0100
@@ -438,7 +438,7 @@
 code_printing constant Code.abort \<rightharpoonup>
     (SML) "!(raise/ Fail/ _)"
     and (OCaml) "failwith"
-    and (Haskell) "error"
+    and (Haskell) "!(error/ ::/ forall a./ String -> (() -> a) -> a)"
     and (Scala) "!{/ sys.error((_));/  ((_)).apply(())/ }"
 
 hide_type (open) literal