Commit 85bd8439 authored by sof's avatar sof
Browse files

[project @ 1997-07-26 03:29:32 by sof]

updated
parent a26cca81
...@@ -8,8 +8,7 @@ import TcGRHSs( tcGRHSsAndBinds ) ...@@ -8,8 +8,7 @@ import TcGRHSs( tcGRHSsAndBinds )
import HsMatches(GRHSsAndBinds) import HsMatches(GRHSsAndBinds)
import HsPat(InPat, OutPat) import HsPat(InPat, OutPat)
import HsSyn(Fake) import HsSyn(Fake)
import TcHsSyn(TcIdOcc) import TcType(TcIdOcc, TcMaybe)
import TcType(TcMaybe)
import SST(FSST_R) import SST(FSST_R)
import Unique(Unique) import Unique(Unique)
import Name(Name) import Name(Name)
...@@ -21,7 +20,8 @@ import Bag(Bag) ...@@ -21,7 +20,8 @@ import Bag(Bag)
import Type(GenType) import Type(GenType)
import Inst(Inst) import Inst(Inst)
tcGRHSsAndBinds :: GRHSsAndBinds Fake Fake Name (InPat Name) tcGRHSsAndBinds :: GenType (GenTyVar (_MutableArray a Int (TcMaybe a))) Unique
-> GRHSsAndBinds Fake Fake Name (InPat Name)
-> TcDown a -> TcDown a
-> TcEnv a -> TcEnv a
-> State# a -> State# a
...@@ -31,8 +31,7 @@ tcGRHSsAndBinds :: GRHSsAndBinds Fake Fake Name (InPat Name) ...@@ -31,8 +31,7 @@ tcGRHSsAndBinds :: GRHSsAndBinds Fake Fake Name (InPat Name)
(OutPat (GenTyVar (_MutableArray a Int (TcMaybe a))) (OutPat (GenTyVar (_MutableArray a Int (TcMaybe a)))
Unique Unique
(TcIdOcc a)), (TcIdOcc a)),
Bag (Inst a), Bag (Inst a)
GenType (GenTyVar (_MutableArray a Int (TcMaybe a))) Unique
) )
() ()
\end{code} \end{code}
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