diff options
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}" |