diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-12-28 01:03:48 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-12-28 01:03:48 +0000 |
| commit | 654a1ba16e47d3ddabeb74b809ee6097c0770d35 (patch) | |
| tree | 770e472fc1dbe386a5ee0c122192f8f42f5d218c /compiler/rename/RnHsSyn.lhs | |
| parent | ae52214482136fdeaaf9d741cf1211cf3cdce5c6 (diff) | |
| download | haskell-654a1ba16e47d3ddabeb74b809ee6097c0770d35.tar.gz | |
Parse and desugar equational constraints
- With -findexed-types, equational constraints can appear in contexts
wherever class predicates are allowed.
- The two argument types need to be boxed and rank 0.
Diffstat (limited to 'compiler/rename/RnHsSyn.lhs')
| -rw-r--r-- | compiler/rename/RnHsSyn.lhs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rename/RnHsSyn.lhs b/compiler/rename/RnHsSyn.lhs index 53f04e2ba2..8774b40625 100644 --- a/compiler/rename/RnHsSyn.lhs +++ b/compiler/rename/RnHsSyn.lhs @@ -87,6 +87,8 @@ extractHsCtxtTyNames (L _ ctxt) -- so don't mention the IP names extractHsPredTyNames (HsClassP cls tys) = unitNameSet cls `unionNameSets` extractHsTyNames_s tys +extractHsPredTyNames (HsEqualP ty1 ty2) + = extractHsTyNames ty1 `unionNameSets` extractHsTyNames ty2 extractHsPredTyNames (HsIParam n ty) = extractHsTyNames ty \end{code} |