diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2019-12-10 17:52:11 +0000 |
|---|---|---|
| committer | Richard Eisenberg <rae@richarde.dev> | 2019-12-14 11:51:46 +0000 |
| commit | c7464b2f2d11c203d0e9ff48cf34d59fd8b15227 (patch) | |
| tree | 8a45c984942f07887ff371f422b9a472373219c4 /compiler/coreSyn/CoreLint.hs | |
| parent | 5a4b8d0cf2ff83d1a04826b9624fffec7b9a5683 (diff) | |
| download | haskell-wip/t17563.tar.gz | |
Do more validity checks for quantified constraintswip/t17563
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, |