diff options
author | Sebastian Graf <sebastian.graf@kit.edu> | 2022-03-21 11:24:37 +0100 |
---|---|---|
committer | Sebastian Graf <sebastian.graf@kit.edu> | 2022-03-23 16:53:41 +0100 |
commit | 2fda0fc80309bbd9e54974a67dad3661bd03e5af (patch) | |
tree | b00c5e0c120c1c84d45bf4cab6f5ac4392286ac4 /compiler/CodeGen.Platform.h | |
parent | 52ffd38c610f418ee1d1a549cfdfdaa11794ea40 (diff) | |
download | haskell-wip/T21265.tar.gz |
WorkWrap: Handle partial FUN apps in `isRecDataCon` (#21265)wip/T21265
Partial FUN apps like `(->) Bool` aren't detected by `splitFunTy_maybe`.
A silly oversight that is easily fixed by replacing `splitFunTy_maybe` with a
guard in the `splitTyConApp_maybe` case.
But fortunately, Simon nudged me into rewriting the whole `isRecDataCon`
function in a way that makes it much shorter and hence clearer which DataCons
are actually considered as recursive.
Fixes #21265.
Diffstat (limited to 'compiler/CodeGen.Platform.h')
0 files changed, 0 insertions, 0 deletions