Tue Aug 8 19:27:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Indexed type defs are not declaring type names
-- definition of an instance of an indexed type
isIdxTyDecl tydecl
-- definition of an instance of an indexed type
isIdxTyDecl tydecl
- | isSynDecl tydecl || isDataDecl tydecl = isJust (tcdTyPats tydecl)
- | otherwise = False
+ | isTEqnDecl tydecl = True
+ | isDataDecl tydecl = isJust (tcdTyPats tydecl)
+ | otherwise = False
\end{code}
Dealing with names
\end{code}
Dealing with names