diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-03 23:38:07 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-03 23:38:07 +0200 |
| commit | 4119fa8c0c59bb39f9aeba7f479067fd834c4e20 (patch) | |
| tree | d949428ac1697b6cb28dcdf2a628984200d9a7c2 /tools/Scanner/Parser.lean | |
| parent | 09be9fb2701f0560aeb714f89fe0d1e750915ae0 (diff) | |
resolve types in protocols
Diffstat (limited to 'tools/Scanner/Parser.lean')
| -rw-r--r-- | tools/Scanner/Parser.lean | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/Scanner/Parser.lean b/tools/Scanner/Parser.lean index 3bdb7b6..630b3fc 100644 --- a/tools/Scanner/Parser.lean +++ b/tools/Scanner/Parser.lean @@ -68,6 +68,8 @@ open Lean namespace WaylandScanner +open Raw + private def MessageType.ofString : String → Except String MessageType | "destructor" => .ok .destructor | s => .error s!"Expected \"destructor\", but got {s}" |