From 7e5611c5ca286a99f8a89c06a242e3b442dc6601 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Tue, 9 Jul 2024 13:52:53 +0200 Subject: [PATCH] fixed two static errors in Decompiler.rsc; one missing keyword parameter for an overloaded alternative and two different return types for two overloaded alternatives --- src/lang/flybytes/Decompiler.rsc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lang/flybytes/Decompiler.rsc b/src/lang/flybytes/Decompiler.rsc index 5992801..476673f 100644 --- a/src/lang/flybytes/Decompiler.rsc +++ b/src/lang/flybytes/Decompiler.rsc @@ -62,7 +62,7 @@ Method decompile(Method m:static([asm(list[Instruction] instrs)]), bool cleanup= return cleanup? m[block=done] : m[block=[asm(withStat)]]; } -Method decompile(Method m) = m when \abstract in m.modifiers; +default Method decompile(Method m, bool cleanup=true) = m when \abstract in m.modifiers; // LINES: data Instruction(int LINE = -1); @@ -612,8 +612,8 @@ BinOp binOp("ALOAD") = aload; alias UnOp = Exp (Exp); -UnOp invertedCond("NULL") = nonnull; -UnOp invertedCond("NONNULL") = null; +UnOp invertedUnaryCond("NULL") = nonnull; +UnOp invertedUnaryCond("NONNULL") = null; Exp nonnull(Exp e) = ne(e, null()); Exp null(Exp e) = eq(e, null());