Commit 3d76aecb authored by simonpj's avatar simonpj
Browse files

[project @ 2000-07-14 13:37:07 by simonpj]

Add a type signature
parent f39f5abb
......@@ -100,6 +100,7 @@ Death to "ExpandingDicts".
%************************************************************************
\begin{code}
tcClassDecl1 :: ValueEnv -> RenamedTyClDecl -> TcM s (Name, TyThingDetails)
tcClassDecl1 rec_env
(ClassDecl context class_name
tyvar_names fundeps class_sigs def_methods pragmas
......
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