X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcPragmas.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcPragmas.lhs;h=065215247a2c59af4b10b8e8ee0e04e341e92910;hb=12899612693163154531da3285ec99c1c8ca2226;hp=e28f90a809ce630d0cda6df06655ec5fa9a0f5b2;hpb=573ef10b2afd99d3c6a36370a9367609716c97d2;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcPragmas.lhs b/ghc/compiler/typecheck/TcPragmas.lhs
index e28f90a..0652152 100644
--- a/ghc/compiler/typecheck/TcPragmas.lhs
+++ b/ghc/compiler/typecheck/TcPragmas.lhs
@@ -179,7 +179,7 @@ tc_strictness
 	-> Maybe Type
 	-> Id		-- final Id (do not *touch*)
 	-> ImpStrictness Name
-	-> Baby_TcM (StrictnessInfo, UnfoldingDetails)
+	-> Baby_TcM (StrictnessInfo, Unfolding)
 
 tc_strictness e ty_maybe rec_final_id info
   = getSwitchCheckerB_Tc    `thenB_Tc` \ sw_chkr ->
@@ -359,7 +359,7 @@ tc_unfolding e (ImpUnfolding guidance uf_core)
 	-- NB: We cant check the lint result and return noInfo_UF if
 	--     lintUnfolding failed as this is too strict
 	--     Instead getInfo_UF tests for BadUnfolding and converts
-	--     to NoUnfoldingDetails when the unfolding is accessed
+	--     to NoUnfolding when the unfolding is accessed
 
 	maybe_lint_expr = lintUnfolding locn core_expr