From b6821112cf5e36b0453e9e285310a01ceaf0b7f0 Mon Sep 17 00:00:00 2001 From: Matthew Pickering Date: Wed, 14 Jan 2026 11:15:25 +0000 Subject: [PATCH] Fix the field names of ExceptionInfoResponse The names are important as otherwise the generated JSON will have fields with incorrect names. --- src/DAP/Types.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/DAP/Types.hs b/src/DAP/Types.hs index 6592f50..863d174 100644 --- a/src/DAP/Types.hs +++ b/src/DAP/Types.hs @@ -2009,19 +2009,19 @@ instance ToJSON CompletionItemType where ---------------------------------------------------------------------------- data ExceptionInfoResponse = ExceptionInfoResponse - { exceptionInfoResponseId :: Text + { exceptionInfoResponseExceptionId :: Text -- ^ -- ID of the exception that was thrown. -- - , exceptionInfoDescriptionId :: Maybe Text + , exceptionInfoResponseDescription :: Maybe Text -- ^ -- Descriptive text for the exception. -- - , exceptionInfoBreakMode :: ExceptionBreakMode + , exceptionInfoResponseBreakMode :: ExceptionBreakMode -- ^ -- Mode that caused the exception notification to be raised. -- - , exceptionInfoReponseDetails :: Maybe ExceptionDetails + , exceptionInfoResponseDetails :: Maybe ExceptionDetails -- ^ -- Detailed information about the exception. --