Skip to content

Fix renaming data constructors with fields (resolves #2915, resolves #4083) #12277

Fix renaming data constructors with fields (resolves #2915, resolves #4083)

Fix renaming data constructors with fields (resolves #2915, resolves #4083) #12277

Re-run triggered June 17, 2025 04:16
Status Success
Total duration 35m 58s
Artifacts

test.yml

on: pull_request
Matrix: test
test_post_job
3s
test_post_job
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
test (9.6, windows-latest, true)
The import of ‘Control.Applicative’ is redundant
test (9.6, windows-latest, true)
The qualified import of ‘Data.Text’ is redundant
test (9.6, windows-latest, true)
Top-level binding with no type signature:
test (9.6, windows-latest, true)
Pattern match(es) are non-exhaustive
test (9.6, windows-latest, true)
The import of ‘GHC.Hs’ is redundant
test (9.6, windows-latest, true)
The import of ‘GHC.Data.Bag’ is redundant
test (9.6, windows-latest, true)
Module ‘GHC.Tc.Utils.Monad’ does not export ‘foldMapM’
test (9.6, windows-latest, true)
The import of ‘Exception, fromException’
test (9.6, windows-latest, true)
The import of ‘AsyncCancelled, AsyncCancelled’
test (9.6, windows-latest, true)
The import of ‘Control.Monad’ is redundant