-tcMonoExpr (HsLit (HsInt i)) res_ty
- = newOverloadedLit (LiteralOrigin (HsInt i))
- (OverloadedIntegral i)
- res_ty `thenNF_Tc` \ stuff ->
- returnTc stuff
-
-tcMonoExpr (HsLit (HsFrac f)) res_ty
- = newOverloadedLit (LiteralOrigin (HsFrac f))
- (OverloadedFractional f)
- res_ty `thenNF_Tc` \ stuff ->
- returnTc stuff
-
-
-tcMonoExpr (HsLit lit@(HsLitLit s)) res_ty
- = tcLookupClassByKey cCallableClassKey `thenNF_Tc` \ cCallableClass ->
- newDicts (LitLitOrigin (_UNPK_ s))
- [(cCallableClass, [res_ty])] `thenNF_Tc` \ (dicts, _) ->
- returnTc (HsLitOut lit res_ty, dicts)
-\end{code}
-
-Primitive literals:
-
-\begin{code}
-tcMonoExpr (HsLit lit@(HsCharPrim c)) res_ty
- = unifyTauTy res_ty charPrimTy `thenTc_`
- returnTc (HsLitOut lit charPrimTy, emptyLIE)
-
-tcMonoExpr (HsLit lit@(HsStringPrim s)) res_ty
- = unifyTauTy res_ty addrPrimTy `thenTc_`
- returnTc (HsLitOut lit addrPrimTy, emptyLIE)
-
-tcMonoExpr (HsLit lit@(HsIntPrim i)) res_ty
- = unifyTauTy res_ty intPrimTy `thenTc_`
- returnTc (HsLitOut lit intPrimTy, emptyLIE)
-
-tcMonoExpr (HsLit lit@(HsFloatPrim f)) res_ty
- = unifyTauTy res_ty floatPrimTy `thenTc_`
- returnTc (HsLitOut lit floatPrimTy, emptyLIE)
-
-tcMonoExpr (HsLit lit@(HsDoublePrim d)) res_ty
- = unifyTauTy res_ty doublePrimTy `thenTc_`
- returnTc (HsLitOut lit doublePrimTy, emptyLIE)
-\end{code}
-
-Unoverloaded literals:
-
-\begin{code}
-tcMonoExpr (HsLit lit@(HsChar c)) res_ty
- = unifyTauTy res_ty charTy `thenTc_`
- returnTc (HsLitOut lit charTy, emptyLIE)
-
-tcMonoExpr (HsLit lit@(HsString str)) res_ty
- = unifyTauTy res_ty stringTy `thenTc_`
- returnTc (HsLitOut lit stringTy, emptyLIE)