@@ -855,7 +855,7 @@ warnWithPosition :: (MonadWriter MultipleErrors m) => SourceSpan -> m a -> m a
855warnWithPosition pos = censor (onErrorMessages (withPosition pos))
855warnWithPosition pos = censor (onErrorMessages (withPosition pos))
857withPosition :: SourceSpan -> ErrorMessage -> ErrorMessage
857withPosition :: SourceSpan -> ErrorMessage -> ErrorMessage
858−withPosition pos (PositionedError _ err) = withPosition pos err
858+withPosition _ (PositionedError pos err) = withPosition pos err
859withPosition pos err = PositionedError pos err
859withPosition pos err = PositionedError pos err