Add test for #6

2023-08-28 07:32:53 +02:00 · 2023-08-28 07:32:53 +02:00 · 0f572c4dcc
commit 0f572c4dcc
parent b6507d0a88
1 changed files with 45 additions and 0 deletions
--- a/test/corpus/choices.txt
+++ b/test/corpus/choices.txt
@ -0,0 +1,45 @@
+================================================================================
+Discrete Choices and characters
+================================================================================
+
+declare
+   type Color_Type is (Red, 'W');
+   Color : Color_Type := 'W';
+begin
+   case Color is
+      when Red => null;
+      when 'W' => null;
+   end case;
+end;
+
+--------------------------------------------------------------------------------
+(compilation
+  (compilation_unit
+    (block_statement
+      (non_empty_declarative_part
+        (full_type_declaration
+          (identifier)
+          (enumeration_type_definition
+            (identifier)
+            (character_literal)))
+        (object_declaration
+          (identifier)
+          (identifier)
+          (expression
+            (term
+              (character_literal)))))
+      (handled_sequence_of_statements
+        (case_statement
+          (expression
+            (term
+              (identifier)))
+          (case_statement_alternative
+            (discrete_choice_list
+              (discrete_choice
+                (identifier)))
+            (null_statement))
+          (case_statement_alternative
+            (discrete_choice_list
+              (discrete_choice
+                (character_literal)))
+            (null_statement)))))))