Apply suggestions from code review

Co-authored-by: Mark Koch <[email protected]>
CQCL · Jan 7, 2025 · da24409 · da24409
1 parent 6a608f0
commit da24409
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/guppylang/std/_internal/checker.py b/guppylang/std/_internal/checker.py
@@ -361,12 +361,12 @@ class PanicChecker(CustomCallChecker):
 
     @dataclass(frozen=True)
     class NoMessageError(Error):
-        title: ClassVar[str] = "No panic message."
-        span_label: ClassVar[str] = "Missing message argument to panic call."
+        title: ClassVar[str] = "No panic message"
+        span_label: ClassVar[str] = "Missing message argument to panic call"
 
         @dataclass(frozen=True)
         class Suggestion(Note):
-            message: ClassVar[str] = 'add a message: `panic("message")`'
+            message: ClassVar[str] = 'Add a message: `panic("message")`'
 
     def synthesize(self, args: list[ast.expr]) -> tuple[ast.expr, Type]:
         match args:

diff --git a/tests/error/misc_errors/panic_msg_empty.err b/tests/error/misc_errors/panic_msg_empty.err
@@ -1,10 +1,10 @@
-Error: No panic message. (at $FILE:7:4)
+Error: No panic message (at $FILE:7:4)
   | 
 5 | @compile_guppy
 6 | def foo(x: int) -> None:
 7 |     panic()
-  |     ^^^^^^^ Missing message argument to panic call.
+  |     ^^^^^^^ Missing message argument to panic call
 
-Note: add a message: `panic("message")`
+Note: Add a message: `panic("message")`
 
 Guppy compilation failed due to 1 previous error