| -- { dg-do compile } |
| |
| with Equal7_Pkg; use Equal7_Pkg; |
| with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; |
| procedure Equal7 is |
| X : constant Integer := 42; |
| |
| begin |
| if F (X) /= "" & ASCII.LF then |
| null; |
| end if; |
| if not (F (X) = "" & ASCII.LF) then |
| null; |
| end if; |
| end; |
| |
| -- { dg-error "ambiguous expression \\(cannot resolve \"/=\"\\)" "" { target *-*-* } 9 } |
| -- { dg-error "possible interpretation at a-strunb.ads:\\d+" "" { target *-*-* } 9 } |
| -- { dg-error "possible interpretation in package Standard" "" { target *-*-* } 9 } |
| |
| -- { dg-error "ambiguous expression \\(cannot resolve \"=\"\\)" "" { target *-*-* } 12 } |
| -- { dg-error "possible interpretation at a-strunb.ads:\\d+" "" { target *-*-* } 12 } |
| -- { dg-error "possible interpretation in package Standard" "" { target *-*-* } 12 } |