From 5eee5f4a3b11c467c853f8397c7f679e5d5acc7a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 22 Jun 2008 18:17:21 -0400 Subject: include --- tests/include.lac | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 tests/include.lac (limited to 'tests/include.lac') diff --git a/tests/include.lac b/tests/include.lac new file mode 100644 index 00000000..6661d0f9 --- /dev/null +++ b/tests/include.lac @@ -0,0 +1,15 @@ +signature S = sig + type t + val x : t +end + +signature S' = sig + include S + val y : t +end + +signature S'' = sig + type u + include S' where type t = int + type v +end -- cgit v1.2.3