isabelle: src/HOL/Codegenerator_Test/Generate_Target_MLton.thy@879be333e939 (annotated)

82067 c379809f5b6f enforce fresh build of HOL-Codegenerator_Test; wenzelm parents: 81999 diff changeset	1	(*
c379809f5b6f enforce fresh build of HOL-Codegenerator_Test; wenzelm parents: 81999 diff changeset	2	Author: Florian Haftmann, TU Muenchen
c379809f5b6f enforce fresh build of HOL-Codegenerator_Test; wenzelm parents: 81999 diff changeset	3	UUID: 9c5036f1-7617-4ac5-8de7-d996863e5e58
c379809f5b6f enforce fresh build of HOL-Codegenerator_Test; wenzelm parents: 81999 diff changeset	4	*)
81999 513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	5
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	6	section \<open>Test of target-language specific implementations for MLton\<close>
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	7
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	8	theory Generate_Target_MLton
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	9	imports
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	10	"HOL-Codegenerator_Test.Generate_Target_String_Literals"
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	11	"HOL-Codegenerator_Test.Generate_Target_Bit_Operations"
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	12	begin
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	13
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	14	test_code Generate_Target_String_Literals.check in MLton
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	15	test_code Generate_Target_Bit_Operations.check in MLton
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	16
513f8fa74c82 more explicit tests for non-PolyML SML platforms haftmann parents: diff changeset	17	end

author	wenzelm
	Mon, 03 Feb 2025 20:22:51 +0100
changeset 82073	879be333e939
parent 82067	c379809f5b6f
permissions	-rw-r--r--