summaryrefslogtreecommitdiff
path: root/m4/fp_copy_shellvar.m4
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2021-04-30 12:43:00 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-05-04 16:00:48 -0400
commit6acadb79afe685c635fd255f90551a0fbfcbe3dc (patch)
tree2523292fab1447c3af2bcec3e3ae1deac9d37ecc /m4/fp_copy_shellvar.m4
parent39020600da32a3207e83f056f16ac42bcc617dc4 (diff)
downloadhaskell-6acadb79afe685c635fd255f90551a0fbfcbe3dc.tar.gz
Persist CorePrepProv into IfaceUnivCoProv
CorePrepProv is only created in CorePrep, so I thought it wouldn't be needed in IfaceUnivCoProv. But actually IfaceSyn is used during pretty-printing, and we can certainly pretty-print things after CorePrep as #19768 showed. So the simplest thing is to represent CorePrepProv in IfaceSyn. To improve what Lint can do I also added a boolean to CorePrepProv, to record whether it is homogeneously kinded or not. It is introduced in two distinct ways (see Note [Unsafe coercions] in GHC.CoreToStg.Prep), one of which may be hetero-kinded (e.g. Int ~ Int#) beause it is casting a divergent expression; but the other is not. The boolean keeps track.
Diffstat (limited to 'm4/fp_copy_shellvar.m4')
0 files changed, 0 insertions, 0 deletions