Skip to content

Check return kinds more thoroughly (#17021)

Richard Eisenberg requested to merge rae/ghc:t17021 into master

Commit message:

Fix #17021 by checking more return kinds

All the details are in new Note [Datatype return kinds] in
TcTyClsDecls.

Test case: typecheck/should_fail/T17021{,b}
           typecheck/should_compile/T17021a

Updates haddock submodule
Edited by Richard Eisenberg

Merge request reports