diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-06-05 21:05:23 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-06-05 22:29:21 +0200 |
| commit | 648edcd81fc2045cab70ec2b82d81577158d8613 (patch) | |
| tree | f8cb8a0b3d5c0fd13f16e0eb2ffdf2ba4a8f875c /tools/Scanner/Generator.lean | |
| parent | 350d3ca21e6a2d215016c84afa07ccb75abd8a6e (diff) | |
first working version
Diffstat (limited to 'tools/Scanner/Generator.lean')
| -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 _) => |