From 648edcd81fc2045cab70ec2b82d81577158d8613 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 5 Jun 2026 21:05:23 +0200 Subject: first working version --- tools/Scanner/Generator.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tools/Scanner') diff --git a/tools/Scanner/Generator.lean b/tools/Scanner/Generator.lean index 2fa4fdd..525f1d7 100644 --- a/tools/Scanner/Generator.lean +++ b/tools/Scanner/Generator.lean @@ -281,8 +281,8 @@ private def emitRequests (protocol : ProtocolDesc) : Generator Unit := do | .object .none => emitLine s!" : DisplayM σ (Object ι) :=" | .object (.some iface) => emitLine s!" : DisplayM σ {← resolveInterface iface (suffix := ".Resolved")} :=" match req.returnType with - | .unit => emitLine s!" ω.send do" - | .object _ => emitLine s!" ω.sendConstructor do" + | .unit => emitLine s!" ω.send {req.isDestructor} do" + | .object _ => emitLine s!" ω.sendConstructor {req.isDestructor} do" for arg in req.arguments do match arg.type with | .newID (.some _) => -- cgit v1.3.1