Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
explicit type annotation avoids problems with Haskell type inference
authorhaftmann
Thu, 05 Feb 2015 19:44:13 +0100
changeset 59483 ddb73392356e
parent 59482 9b590e32646a
child 59484 a130ae7a9398
explicit type annotation avoids problems with Haskell type inference
src/HOL/String.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle