From 2187d815cb74afdc5cb7a5fea7bbd332e23b3f18 Mon Sep 17 00:00:00 2001 From: Bretton Date: Sat, 18 Nov 2023 05:13:15 -0600 Subject: [PATCH] Add test for #1985 --- intTests/test1985/test.saw | 12 ++++++++++++ intTests/test1985/test.sh | 3 +++ 2 files changed, 15 insertions(+) create mode 100644 intTests/test1985/test.saw create mode 100644 intTests/test1985/test.sh diff --git a/intTests/test1985/test.saw b/intTests/test1985/test.saw new file mode 100644 index 0000000000..2a7c862134 --- /dev/null +++ b/intTests/test1985/test.saw @@ -0,0 +1,12 @@ +// Test top level typedefs +typedef Foo = Int; +typedef Bar = Foo; +let thing : Bar = 2; + +// Test local typedefs +let local = do { + typedef LocalFoo = Bar; + typedef LocalBar = LocalFoo; + let local_thing : LocalBar = 3; + return (); +}; diff --git a/intTests/test1985/test.sh b/intTests/test1985/test.sh new file mode 100644 index 0000000000..2315cc233c --- /dev/null +++ b/intTests/test1985/test.sh @@ -0,0 +1,3 @@ +set -e + +$SAW test.saw