diff options
| author | Adam Gundry <adam@well-typed.com> | 2015-11-17 15:50:33 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-17 16:58:49 +0100 |
| commit | 7b962bab384e2ae85b41d30f503c3d0295b0214f (patch) | |
| tree | aa93fb85a17988e6abdcaea362fbe6ae64a478d7 /compiler/deSugar/Match.hs | |
| parent | acce37f38bc3867f86cf717694915746bb2f278e (diff) | |
| download | haskell-7b962bab384e2ae85b41d30f503c3d0295b0214f.tar.gz | |
Implement OverloadedLabels
See
https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/OverloadedLabels
for the big picture.
Reviewers: goldfire, simonpj, austin, hvr, bgamari
Reviewed By: simonpj, bgamari
Subscribers: kosmikus, thomie, mpickering
Differential Revision: https://phabricator.haskell.org/D1331
Diffstat (limited to 'compiler/deSugar/Match.hs')
| -rw-r--r-- | compiler/deSugar/Match.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/deSugar/Match.hs b/compiler/deSugar/Match.hs index e23f223d76..40b50331e8 100644 --- a/compiler/deSugar/Match.hs +++ b/compiler/deSugar/Match.hs @@ -986,6 +986,7 @@ viewLExprEq (e1,_) (e2,_) = lexp e1 e2 -- the instance for IPName derives using the id, so this works if the -- above does exp (HsIPVar i) (HsIPVar i') = i == i' + exp (HsOverLabel l) (HsOverLabel l') = l == l' exp (HsOverLit l) (HsOverLit l') = -- Overloaded lits are equal if they have the same type -- and the data is the same. |