diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2019-12-10 17:52:11 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-12-16 19:32:21 -0500 |
| commit | f9686e132a7fe5bbe517a4748fef6094fe74d43d (patch) | |
| tree | a0ce85a36dd3c8c60c5101bd87f2f579b63cd4d4 /compiler/coreSyn/CoreLint.hs | |
| parent | 75355fdef61da44a395ee9bfa2b9dca0eecea58a (diff) | |
| download | haskell-f9686e132a7fe5bbe517a4748fef6094fe74d43d.tar.gz | |
Do more validity checks for quantified constraints
Close #17583.
Test case: typecheck/should_fail/T17563
Diffstat (limited to 'compiler/coreSyn/CoreLint.hs')
| -rw-r--r-- | compiler/coreSyn/CoreLint.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreLint.hs b/compiler/coreSyn/CoreLint.hs index def51f5010..3ebad40adb 100644 --- a/compiler/coreSyn/CoreLint.hs +++ b/compiler/coreSyn/CoreLint.hs @@ -2367,7 +2367,7 @@ lookupIdInScope id_occ 2 (pprBndr LetBind id_occ) bad_global id_bnd = isGlobalId id_occ && isLocalId id_bnd - && not (isWiredInName (idName id_occ)) + && not (isWiredIn id_occ) -- 'bad_global' checks for the case where an /occurrence/ is -- a GlobalId, but there is an enclosing binding fora a LocalId. -- NB: the in-scope variables are mostly LocalIds, checked by lintIdBndr, |