1 2 3 4 5 6 7 8 9 10 11 12 13 14
-- { dg-do run } with Text_IO; use Text_IO; with GNAT.SPITBOL.Patterns; use GNAT.SPITBOL.Patterns; procedure Spipaterr is X : String := "ABCDE"; Y : Pattern := Len (1) & X (2 .. 2); begin if Match ("XB", Y) then null; else raise Program_Error; end if; end;