diff options
| author | Pepe Iborra <mnislaih@gmail.com> | 2006-12-10 23:20:18 +0000 |
|---|---|---|
| committer | Pepe Iborra <mnislaih@gmail.com> | 2006-12-10 23:20:18 +0000 |
| commit | 121da25a0d638bbe6c7f90525ff50b3a20949bbc (patch) | |
| tree | 996a857a4a387fdb5f8580cdf2035a852dca60b9 /compiler/prelude | |
| parent | 8bc615fdb45b8e3f2f3ef2167bbb379bf619aab2 (diff) | |
| download | haskell-121da25a0d638bbe6c7f90525ff50b3a20949bbc.tar.gz | |
Closure inspection in GHCi
The :print, :sprint and :force commands for GHCi.
This set of commands allows inspection of heap structures of the bindings in the interactive environment.
This is useful to observe lazyness and specially to inspect things with undespecified polymorphic types, as happens often in breakpoints.
Diffstat (limited to 'compiler/prelude')
| -rw-r--r-- | compiler/prelude/PrelNames.lhs | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs index 9c513396d5..b86f49c0bb 100644 --- a/compiler/prelude/PrelNames.lhs +++ b/compiler/prelude/PrelNames.lhs @@ -186,7 +186,8 @@ basicKnownKeyNames otherwiseIdName, plusIntegerName, timesIntegerName, eqStringName, assertName, breakpointName, breakpointCondName, - breakpointAutoName, opaqueTyConName, + breakpointAutoName, opaqueTyConName, unknownTyConName, + unknown1TyConName, unknown2TyConName, unknown3TyConName, assertErrorName, runSTRepName, printName, fstName, sndName, @@ -492,6 +493,10 @@ assertName = varQual gHC_BASE FSLIT("assert") assertIdKey breakpointName = varQual gHC_BASE FSLIT("breakpoint") breakpointIdKey breakpointCondName= varQual gHC_BASE FSLIT("breakpointCond") breakpointCondIdKey breakpointAutoName= varQual gHC_BASE FSLIT("breakpointAuto") breakpointAutoIdKey +unknownTyConName = tcQual gHC_BASE FSLIT("Unknown") unknownTyConKey +unknown1TyConName = tcQual gHC_BASE FSLIT("Unknown1") unknown1TyConKey +unknown2TyConName = tcQual gHC_BASE FSLIT("Unknown2") unknown2TyConKey +unknown3TyConName = tcQual gHC_BASE FSLIT("Unknown3") unknown3TyConKey opaqueTyConName = tcQual gHC_BASE FSLIT("Opaque") opaqueTyConKey breakpointJumpName @@ -828,6 +833,11 @@ rightCoercionTyConKey = mkPreludeTyConUnique 96 instCoercionTyConKey = mkPreludeTyConUnique 97 unsafeCoercionTyConKey = mkPreludeTyConUnique 98 + +unknownTyConKey = mkPreludeTyConUnique 99 +unknown1TyConKey = mkPreludeTyConUnique 100 +unknown2TyConKey = mkPreludeTyConUnique 101 +unknown3TyConKey = mkPreludeTyConUnique 102 opaqueTyConKey = mkPreludeTyConUnique 103 ---------------- Template Haskell ------------------- |