diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-06-05 17:04:51 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-06-05 17:04:51 +0200 |
| commit | 350d3ca21e6a2d215016c84afa07ccb75abd8a6e (patch) | |
| tree | 09a328034b3c86135bfd723d174591bb5df14b09 /tools/Scanner | |
| parent | 397edbdb31bb6d72b9e1e7aa65b5b9bd56ef5cc6 (diff) | |
wip tinyrwm in lean
Diffstat (limited to 'tools/Scanner')
| -rw-r--r-- | tools/Scanner/Generator.lean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Scanner/Generator.lean b/tools/Scanner/Generator.lean index dc4a87f..2fa4fdd 100644 --- a/tools/Scanner/Generator.lean +++ b/tools/Scanner/Generator.lean @@ -112,7 +112,7 @@ private def emitEnumDefinitions (protocol : ProtocolDesc) : Generator Unit := do if enum.bitfield then emitLine s!"structure {iface.name.pascalCase}.{enum.name.pascalCase} where" for entry in enum.entries do - emitLine s!" {entry.name.camelCase} : Bool" + emitLine s!" {entry.name.camelCase} : Bool := false" else emitLine s!"inductive {iface.name.pascalCase}.{enum.name.pascalCase} where" for entry in enum.entries do |