added documented but missing rename function to Prelude::IO

[jurgenvinju]

[codecov[bot]]

Codecov Report

Attention: Patch coverage is 60.00000% with 2 lines in your changes missing coverage. Please review.

Project coverage is 47%. Comparing base (99dd8bd) to head (4dd873e). Report is 7 commits behind head on main.

Files with missing lines	Patch %	Lines
src/org/rascalmpl/library/Prelude.java	60%	2 Missing :warning:

Additional details and impacted files

@@           Coverage Diff           @@
##              main   #2308   +/-   ##
=======================================
- Coverage       47%     47%   -1%     
- Complexity    6347    6353    +6     
=======================================
  Files          764     764           
  Lines        63175   63180    +5     
  Branches      9430    9430           
=======================================
- Hits         29949   29945    -4     
- Misses       31010   31014    +4     
- Partials      2216    2221    +5     

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

:rocket: New features to boost your workflow:

• :snowflake: Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• :package: JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.