diff options
Diffstat (limited to 'compiler/GHC/Builtin/primops.txt.pp')
| -rw-r--r-- | compiler/GHC/Builtin/primops.txt.pp | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/compiler/GHC/Builtin/primops.txt.pp b/compiler/GHC/Builtin/primops.txt.pp index a00f3f8215..d4f56cadfa 100644 --- a/compiler/GHC/Builtin/primops.txt.pp +++ b/compiler/GHC/Builtin/primops.txt.pp @@ -3288,13 +3288,6 @@ pseudoop "void#" } with deprecated_msg = { Use an unboxed unit tuple instead } -pseudoop "magicDict" - a - { {\tt magicDict} is a special-purpose placeholder value. - It is used internally by modules such as {\tt GHC.TypeNats} to cast a typeclass - dictionary with a single method. It is eliminated by a rule during compilation. - For the details, see Note [magicDictId magic] in GHC. } - primtype Proxy# a { The type constructor {\tt Proxy#} is used to bear witness to some type variable. It's used when you want to pass around proxy values |