Commit be5bbcf6 authored by simonpj's avatar simonpj
Browse files

[project @ 2004-07-19 11:26:13 by simonpj]

Comments only
parent 224f25a6
......@@ -70,7 +70,7 @@ data Var
-- cached here for speed
tyVarKind :: Kind }
| TcTyVar { -- Used only during type inference
| TcTyVar { -- Used only during type inference
varName :: !Name, -- Could we get away without a Name?
realUnique :: FastInt,
tyVarKind :: Kind,
......
......@@ -802,7 +802,7 @@ We used to have a form
{-# SPECIALISE f :: <type> = g #-}
which promised that g implemented f at <type>, but we do that with
a RULE now:
{-# SPECIALISE (f::<type) = g #-}
{-# RULES (f::<type>) = g #-}
\begin{code}
tcSpecSigs :: [LSig Name] -> TcM (LHsBinds TcId)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment