diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-07-25 17:50:28 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-07-25 17:50:28 +0100 |
| commit | 4c571f3321eb8f7a06dada4c37822c22bbdd148b (patch) | |
| tree | d5cea64d20acbb218fb0b5e4745c2c5f12277669 /compiler/deSugar | |
| parent | 9897f6783a58265d5eaef5fb06f04320c7737e87 (diff) | |
| download | haskell-4c571f3321eb8f7a06dada4c37822c22bbdd148b.tar.gz | |
Comments only
Diffstat (limited to 'compiler/deSugar')
| -rw-r--r-- | compiler/deSugar/DsBinds.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/deSugar/DsBinds.hs b/compiler/deSugar/DsBinds.hs index db7acfd51c..6524e102d2 100644 --- a/compiler/deSugar/DsBinds.hs +++ b/compiler/deSugar/DsBinds.hs @@ -184,8 +184,9 @@ dsHsBind dflags (AbsBinds { abs_tvs = tyvars, abs_ev_vars = dicts , abs_binds = binds, abs_sig = has_sig }) = do { ds_binds <- addDictsDs (listToBag dicts) $ dsLHsBinds binds - -- addDictsDs: push type constraints deeper - -- for inner pattern match check + -- addDictsDs: push type constraints deeper + -- for inner pattern match check + -- See Check, Note [Type and Term Equality Propagation] ; ds_ev_binds <- dsTcEvBinds_s ev_binds |