YellowGrass

Internal error: with clause failed unexpectedly in rule 'rename' for PrefetchFor

Generated and shrunk code causing this failure:

application eX_B_1_5

section  P%~p pyUd
  session H9VN {
    function I ( ) : Void
    {
      prefetch-for OE_GB2jpo_ delete from I;
    }
  }
Submitted by André Vieira on 1 July 2013 at 15:17

Issue Log

On 2 July 2013 at 10:04 Christoffer Gersen tagged query-optimization
On 2 July 2013 at 10:18 Christoffer Gersen commented:

The variable did not exist, so the type-of failed in a with clause. Now the type-of is performed in a where clause, so that the constraint checks will print a proper error later. Fixed in r5732.

On 2 July 2013 at 10:18 Christoffer Gersen closed this issue.
On 2 July 2013 at 10:18 Christoffer Gersen tagged 1.3.0
On 16 July 2013 at 14:55 André Vieira tagged randomtesting

Log in to post comments