\section[TcDefaults]{Typechecking \tr{default} declarations}
\begin{code}
+{-# OPTIONS -w #-}
+-- The above warning supression flag is a temporary kludge.
+-- While working on this module you are encouraged to remove it and fix
+-- any warnings in the module. See
+-- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings
+-- for details
+
module TcDefaults ( tcDefaults ) where
#include "HsVersions.h"
-- in Disambig.
tcDefaults []
- = getDefaultTys -- No default declaration, so get the
+ = getDeclaredDefaultTys -- No default declaration, so get the
-- default types from the envt;
-- i.e. use the curent ones
-- (the caller will put them back there)
-- defaultDefaultTys
tcDefaults [L locn (DefaultDecl [])]
- = returnM (Just []) -- Default declaration specifying no types
+ = return (Just []) -- Default declaration specifying no types
tcDefaults [L locn (DefaultDecl mono_tys)]
= setSrcSpan locn $
; let deflt_clss | ovl_str = [num_class, is_str_class]
| otherwise = [num_class]
- ; tau_tys <- mappM (tc_default_ty deflt_clss) mono_tys
+ ; tau_tys <- mapM (tc_default_ty deflt_clss) mono_tys
; return (Just tau_tys) }