Forked from
Glasgow Haskell Compiler / GHC
6886 commits behind the upstream repository.
Matthew Pickering
authored
Ticket #23454 explained it was possible to implement unsafeCoerce because SNat was lacking a role annotation. As these are supposed to be singleton types but backed by an efficient representation the correct annotation is nominal to ensure these kinds of coerces are forbidden. These annotations were missed from https://github.com/haskell/core-libraries-committee/issues/85 which was implemented in 532de368. CLC Proposal: https://github.com/haskell/core-libraries-committee/issues/170 Fixes #23454
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| base | ||
| doc | ||
| ghc-bignum | ||
| ghc-boot-th | ||
| ghc-boot | ||
| ghc-compact | ||
| ghc-heap | ||
| ghc-prim | ||
| ghci | ||
| integer-gmp | ||
| template-haskell | ||
| Cabal @ 4bfd6a03 | ||
| Win32 @ efab7f11 | ||
| array @ f487b8de | ||
| binary @ 96599519 | ||
| bytestring @ 9cab76dc | ||
| containers @ 9f4a9360 | ||
| deepseq @ 0bfe5780 | ||
| directory @ 3ae36d84 | ||
| exceptions @ a473e4fa | ||
| filepath @ bb0e5cd4 | ||
| haskeline @ 1c2ad91e | ||
| hpc @ ffbd36cb | ||
| mtl @ 37cbd924 | ||
| parsec @ 1f542120 | ||
| pretty @ c3a14693 | ||
| process @ 97e924aa | ||
| semaphore-compat @ 663ef754 | ||
| stm @ cfb7e775 | ||
| terminfo @ 98100776 | ||
| text @ e815d4d9 | ||
| time @ baab563e | ||
| transformers @ ef4fa181 | ||
| unix @ 720debbf | ||
| xhtml @ 68353ccd | ||
| Makefile | ||
| defineTOP.mk | ||
| gen_contents_index | ||
| hscolour.css | ||
| libraries-footer.txt | ||
| libraries-header.txt | ||
| prologue.txt.in | ||