diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2021-01-31 09:04:39 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-02-01 03:12:07 -0500 |
| commit | d4bcd37f15a59cea22fbaef280cd85cac20872bf (patch) | |
| tree | 2de35715e477e1658bb2f0722602824d99526856 /.gitignore | |
| parent | 14c4f7014d1bbdf51a79745821fcfc39e7db0ec9 (diff) | |
| download | haskell-d4bcd37f15a59cea22fbaef280cd85cac20872bf.tar.gz | |
Fix accidental unsoundness in Data.Typeable.Internal.mkTypeLitFromString
An accidental use of `tcSymbol` instead of `tcNat` in the `TypeLitNat` case of
`mkTypeLitFromString` meant that it was possible to unsafely equate `Nat` with
`Symbol`. A consequence of this is that you could write `unsafeCoerce`, as
observed in #19288. This is fixed easily enough, thankfully.
Fixes #19288.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions