diff options
Diffstat (limited to 'compiler/hsSyn/HsLit.lhs')
| -rw-r--r-- | compiler/hsSyn/HsLit.lhs | 23 |
1 files changed, 21 insertions, 2 deletions
diff --git a/compiler/hsSyn/HsLit.lhs b/compiler/hsSyn/HsLit.lhs index b8e4b11e6b..efa61dde67 100644 --- a/compiler/hsSyn/HsLit.lhs +++ b/compiler/hsSyn/HsLit.lhs @@ -20,8 +20,7 @@ module HsLit where import {-# SOURCE #-} HsExpr( SyntaxExpr, pprExpr ) import BasicTypes ( FractionalLit(..) ) -import HsTypes ( PostTcType ) -import Type ( Type ) +import Type ( Type, Kind ) import Outputable import FastString @@ -31,6 +30,26 @@ import Data.Data %************************************************************************ %* * +\subsection{Annotating the syntax} +%* * +%************************************************************************ + +\begin{code} +type PostTcKind = Kind +type PostTcType = Type -- Used for slots in the abstract syntax + -- where we want to keep slot for a type + -- to be added by the type checker...but + -- before typechecking it's just bogus + +placeHolderType :: PostTcType -- Used before typechecking +placeHolderType = panic "Evaluated the place holder for a PostTcType" + +placeHolderKind :: PostTcKind -- Used before typechecking +placeHolderKind = panic "Evaluated the place holder for a PostTcKind" +\end{code} + +%************************************************************************ +%* * \subsection[HsLit]{Literals} %* * %************************************************************************ |