src/Doc/Codegen/Adaptation.thy

 theory Adaptation
 imports Setup
 begin
 
-setup %invisible {* Code_Target.extend_target ("\<SML>", ("SML", K I))
-  #> Code_Target.extend_target ("\<SMLdummy>", ("Haskell", K I)) *}
+setup %invisible {* Code_Target.extend_target ("\<SML>", ("SML", I))
+  #> Code_Target.extend_target ("\<SMLdummy>", ("Haskell", I)) *}
 
 section {* Adaptation to target languages \label{sec:adaptation} *}
 
 subsection {* Adapting code generation *}