projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1996-07-25 20:43:49 by partain]
[ghc-hetmet.git]
/
ghc
/
compiler
/
prelude
/
PrelVals.lhs
diff --git
a/ghc/compiler/prelude/PrelVals.lhs
b/ghc/compiler/prelude/PrelVals.lhs
index
37d6f6b
..
84fd4d9
100644
(file)
--- 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)
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
\end{code}
We want \tr{GHCbase.trace} to be wired in