rts/RtsUtils.c · master · Kazuki Okamoto / GHC · GitLab

Mar 25, 2024
c7d3e3a3
Include the default I/O manager in the +RTS --info output · c7d3e3a3
Duncan Coutts authored Mar 25, 2024 and Marge Bot committed Apr 03, 2024
```
Document the extra +RTS --info output in the user guide
```
c7d3e3a3
Include the default I/O manager in the +RTS --info output
Duncan Coutts authored Mar 25, 2024 and Marge Bot committed Apr 03, 2024
```
Document the extra +RTS --info output in the user guide
```