diff options
Diffstat (limited to 'ghc/compiler/prelude/PrelVals.lhs')
| -rw-r--r-- | ghc/compiler/prelude/PrelVals.lhs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ghc/compiler/prelude/PrelVals.lhs b/ghc/compiler/prelude/PrelVals.lhs index 37d6f6b746..84fd4d915a 100644 --- a/ghc/compiler/prelude/PrelVals.lhs +++ b/ghc/compiler/prelude/PrelVals.lhs @@ -109,6 +109,9 @@ openAlphaTy = mkTyVarTy openAlphaTyVar errorTy :: Type errorTy = mkSigmaTy [openAlphaTyVar] [] (mkFunTys [mkListTy charTy] openAlphaTy) + -- Notice the openAlphaTyVar. It says that "error" can be applied + -- to unboxed as well as boxed types. This is OK because it never + -- returns, so the return type is irrelevant. \end{code} We want \tr{GHCbase.trace} to be wired in |