diff options
| author | Austin Seipp <austin@well-typed.com> | 2013-09-25 02:42:21 -0500 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2013-09-27 00:16:28 -0500 |
| commit | 17112084f87d7ccebf639068b85948190d52c6ba (patch) | |
| tree | c99adf3df47ad172f67f2c423d7eb2fa47ef483f /compiler/ghci | |
| parent | 5e2f145a3737b8ff81445ffbe3dd72d8985d608e (diff) | |
| download | haskell-17112084f87d7ccebf639068b85948190d52c6ba.tar.gz | |
Implement an unlifted Proxy type, Proxy#
A value of type 'Proxy# a' can only be created through the new,
primitive witness 'proxy# :: Proxy# a' - a Proxy# has no runtime
representation and is thus free.
This lets us clean up the internals of TypeRep, as well as Adam's future
work concerning records (by using a zero-width primitive type.)
Authored-by: Edward Kmett <ekmett@gmail.com>
Authored-by: Austin Seipp <austin@well-typed.com>
Signed-off-by: Austin Seipp <austin@well-typed.com>
Diffstat (limited to 'compiler/ghci')
| -rw-r--r-- | compiler/ghci/RtClosureInspect.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/ghci/RtClosureInspect.hs b/compiler/ghci/RtClosureInspect.hs index 9a5edbdc01..c02b87cfd7 100644 --- a/compiler/ghci/RtClosureInspect.hs +++ b/compiler/ghci/RtClosureInspect.hs @@ -508,6 +508,7 @@ repPrim t = rep where | t == stablePtrPrimTyCon = text "<stablePtr>" | t == stableNamePrimTyCon = text "<stableName>" | t == statePrimTyCon = text "<statethread>" + | t == proxyPrimTyCon = text "<proxy>" | t == realWorldTyCon = text "<realworld>" | t == threadIdPrimTyCon = text "<ThreadId>" | t == weakPrimTyCon = text "<Weak>" |