src/HOL/String.thy
changeset 59483 ddb73392356e
parent 58889 5b7a9633cfa8
child 59484 a130ae7a9398
     1.1 --- a/src/HOL/String.thy	Thu Feb 05 13:01:12 2015 +0100
     1.2 +++ b/src/HOL/String.thy	Thu Feb 05 19:44:13 2015 +0100
     1.3 @@ -438,7 +438,7 @@
     1.4  code_printing constant Code.abort \<rightharpoonup>
     1.5      (SML) "!(raise/ Fail/ _)"
     1.6      and (OCaml) "failwith"
     1.7 -    and (Haskell) "error"
     1.8 +    and (Haskell) "!(error/ ::/ forall a./ String -> (() -> a) -> a)"
     1.9      and (Scala) "!{/ sys.error((_));/  ((_)).apply(())/ }"
    1.10  
    1.11  hide_type (open) literal