From 53b2a01eed61728c4b6201b4882528bd25bd1237 Mon Sep 17 00:00:00 2001 From: Mikael Mayer Date: Thu, 10 Oct 2024 10:59:00 -0500 Subject: [PATCH] Added missing tests --- .../LitTest/at-attributes/at-attributes-typos0.dfy | 11 +++++++++++ .../at-attributes/at-attributes-typos0.dfy.expect | 3 +++ 2 files changed, 14 insertions(+) create mode 100644 Source/IntegrationTests/TestFiles/LitTests/LitTest/at-attributes/at-attributes-typos0.dfy create mode 100644 Source/IntegrationTests/TestFiles/LitTests/LitTest/at-attributes/at-attributes-typos0.dfy.expect diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/at-attributes/at-attributes-typos0.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/at-attributes/at-attributes-typos0.dfy new file mode 100644 index 0000000000..1eeb43fcb1 --- /dev/null +++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/at-attributes/at-attributes-typos0.dfy @@ -0,0 +1,11 @@ +// RUN: %exits-with -any %resolve "%s" > "%t" +// RUN: %diff "%s.expect" "%t" +// Attributes on top-level declarations + +@Option("--function-syntax:3") // Should be Options +module SimpleLinearModule { +} + +function OtherUnresolvedfunction(): string { + 3 +} \ No newline at end of file diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/at-attributes/at-attributes-typos0.dfy.expect b/Source/IntegrationTests/TestFiles/LitTests/LitTest/at-attributes/at-attributes-typos0.dfy.expect new file mode 100644 index 0000000000..3e99f809de --- /dev/null +++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/at-attributes/at-attributes-typos0.dfy.expect @@ -0,0 +1,3 @@ +at-attributes-typos0.dfy(5,1): Error: unresolved identifier: Option +at-attributes-typos0.dfy(6,7): Error: not resolving module '_module' because there were errors in resolving its nested module 'SimpleLinearModule' +2 resolution/type errors detected in at-attributes-typos0.dfy