Skip to content

Remove Proxy# argument in Data.Typeable.Internal

Krzysztof Gogolewski requested to merge tweag/ghc:wip/no-typeable-proxy into master

Data.Typeable.Internal has two functions

typeNatTypeRep :: KnownNat a => Proxy# a -> TypeRep a
typeSymbolTypeRep :: KnownSymbol a => Proxy# a -> TypeRep a

that are used to construct a TypeRep for naturals and symbols in the solver. They are for internal use only. Now that TypeRep is indexed, they no longer need the Proxy# as an argument.

I'm not changing natVal, symbolVal etc.: (1) they are exposed to users; (2) removing the Proxy# would make their type ambiguous.

Merge request reports