diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-10-10 17:03:02 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-15 04:30:27 -0400 |
| commit | 51c4b851965abdece2f88f8e583256e15f3140fe (patch) | |
| tree | 56c31e593bc53664514628d5bcdea822880b62d1 /compiler/GHC/Tc/Instance | |
| parent | 0c4bfed849d454bee707fcb2989eb7c6339eaedb (diff) | |
| download | haskell-51c4b851965abdece2f88f8e583256e15f3140fe.tar.gz | |
Remove Proxy# argument in Data.Typeable.Internal
No longer neccessary - TypeRep is now indexed, there is no ambiguity.
Also fix a comment in Evidence.hs, IsLabel no longer takes a Proxy#.
Diffstat (limited to 'compiler/GHC/Tc/Instance')
| -rw-r--r-- | compiler/GHC/Tc/Instance/Class.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Instance/Class.hs b/compiler/GHC/Tc/Instance/Class.hs index 639a9e6cf1..94a170692a 100644 --- a/compiler/GHC/Tc/Instance/Class.hs +++ b/compiler/GHC/Tc/Instance/Class.hs @@ -548,7 +548,7 @@ have this instance, implemented here by doTyLit: instance KnownNat n => Typeable (n :: Nat) where typeRep = typeNatTypeRep @n where - Data.Typeable.Internals.typeNatTypeRep :: KnownNat a => TypeRep a + Data.Typeable.Internal.typeNatTypeRep :: KnownNat a => TypeRep a Ultimately typeNatTypeRep uses 'natSing' from KnownNat to get a runtime value 'n'; it turns it into a string with 'show' and uses |