Quelle Generate_Target_MLton.thy
Sprache: Isabelle
(* Author: Florian Haftmann, TU Muenchen UUID: 9c5036f1-7617-4ac5-8de7-d996863e5e58
*)
section \<open>Test of target-language specific implementations for MLton\<close>
theory Generate_Target_MLton imports "HOL-Codegenerator_Test.Generate_Target_String_Literals" "HOL-Codegenerator_Test.Generate_Target_Bit_Operations" begin
test_code Generate_Target_String_Literals.check in MLton
test_code Generate_Target_Bit_Operations.check in MLton
end
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
