diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Scanner/Generator.lean | 4 |
1 files changed, 2 insertions, 2 deletions
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 _) => |