That is while `./validate` passes.
I am rather new to GHC code base, and not so familiar with its build and testing system.
So I was wondering whether this is an intended behaviour (e.g., some test cases are intentionally left out of `./validate`).
Specifically, I follow the following steps:
(2) `cd ghc`
(4) set `BuildFlavour = devel2` and then
(5) ./boot
(6) ./configure
(7) make -j4
(8) make test TEST="T13780c T13822"
I build in a variant of the docker image for GHC development on Linux (64 bit), if it matters.