Fix downgrade script

smowton · smowton · commit 1d82756dc8f1 · 2023-11-30T11:24:00.000Z
diff --git a/java/downgrades/dee651b58d1e5455ca2d07eca37775a21d772fcc/exprs.ql b/java/downgrades/dee651b58d1e5455ca2d07eca37775a21d772fcc/exprs.ql
@@ -35,7 +35,7 @@ predicate hasNewParent(Expr e, ExprParent newParent, int newIndex) {
 }
 
 from Expr e, int oldKind, int newKind, Type typeid, ExprParent parent, int index
-where exprs(e, kind, typeid, _, _) and
+where exprs(e, oldKind, typeid, _, _) and
 hasNewParent(e, parent, index) and
 (if oldKind = 89 /* record pattern */ then newKind = 74 /* error expression */ else oldKind = newKind)
 select e, newKind, typeid, parent, index

Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,7 @@ predicate hasNewParent(Expr e, ExprParent newParent, int newIndex) {`
`35`	`35`	`}`
`36`	`36`
`37`	`37`	`from Expr e, int oldKind, int newKind, Type typeid, ExprParent parent, int index`
`38`		`-where exprs(e, kind, typeid, _, _) and`
	`38`	`+where exprs(e, oldKind, typeid, _, _) and`
`39`	`39`	`hasNewParent(e, parent, index) and`
`40`	`40`	`(if oldKind = 89 /* record pattern / then newKind = 74 / error expression */ else oldKind = newKind)`
`41`	`41`	`select e, newKind, typeid, parent, index`