Preserve existing error positions in withPosition
commitf2aed3e00aecb3339039b5457a96dde71c6cc6cc
authorGary Burgess <gary.burgess@gmail.com>
dateWed 19 Aug 2015, 00:18 (11 years ago)
parent410fefe
src/Language/PureScript/Errors.hs+1−1
@@ -855,7 +855,7 @@ warnWithPosition :: (MonadWriter MultipleErrors m) => SourceSpan -> m a -> m a
855855warnWithPosition pos = censor (onErrorMessages (withPosition pos))
856856
857857withPosition :: SourceSpan -> ErrorMessage -> ErrorMessage
858−withPosition pos (PositionedError _ err) = withPosition pos err
858+withPosition _ (PositionedError pos err) = withPosition pos err
859859withPosition pos err = PositionedError pos err
860860
861861-- |