diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-01-07 15:34:44 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-01-07 15:34:44 +0100 |
| commit | 308577027577dca6f8c22a631b63bc50c19ce645 (patch) | |
| tree | 5aa9b835878d93041922421e2eaf185ab09be8ea /source/Checking.hs | |
| parent | 06f5cd67f8f5461bd92ab68a6c3bb6925d0fd596 (diff) | |
Fix error message for duplicate markers
Diffstat (limited to 'source/Checking.hs')
| -rw-r--r-- | source/Checking.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/Checking.hs b/source/Checking.hs index 7ff16f3..755d769 100644 --- a/source/Checking.hs +++ b/source/Checking.hs @@ -368,7 +368,7 @@ withLabel loc marker ma = do st <- get let markers = definedMarkers st if HS.member marker markers - then throwWithMarker (DuplicateMarker loc) + then throwIO (DuplicateMarker loc marker) else put st{definedMarkers = HS.insert marker markers} -- Set the marker as the label of the current block and upate the step location. modify \st -> st{blockLabel = marker, stepLocation = loc} |