Commit d9948cdc authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

Indexed type defs are not declaring type names

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
parent 00c8e4f5
......@@ -450,8 +450,9 @@ isKindSigDecl other = False
-- 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
......
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