Skip to content

Commit 0426bf6

Browse files
authored
Fix the field names of ExceptionInfoResponse (#26)
The names are important as otherwise the generated JSON will have fields with incorrect names.
1 parent 824ecfe commit 0426bf6

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

src/DAP/Types.hs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2009,19 +2009,19 @@ instance ToJSON CompletionItemType where
20092009
----------------------------------------------------------------------------
20102010
data ExceptionInfoResponse
20112011
= ExceptionInfoResponse
2012-
{ exceptionInfoResponseId :: Text
2012+
{ exceptionInfoResponseExceptionId :: Text
20132013
-- ^
20142014
-- ID of the exception that was thrown.
20152015
--
2016-
, exceptionInfoDescriptionId :: Maybe Text
2016+
, exceptionInfoResponseDescription :: Maybe Text
20172017
-- ^
20182018
-- Descriptive text for the exception.
20192019
--
2020-
, exceptionInfoBreakMode :: ExceptionBreakMode
2020+
, exceptionInfoResponseBreakMode :: ExceptionBreakMode
20212021
-- ^
20222022
-- Mode that caused the exception notification to be raised.
20232023
--
2024-
, exceptionInfoReponseDetails :: Maybe ExceptionDetails
2024+
, exceptionInfoResponseDetails :: Maybe ExceptionDetails
20252025
-- ^
20262026
-- Detailed information about the exception.
20272027
--

0 commit comments

Comments
 (0)