[Agda] Why the light gray highlighting here?

[David Banas]

Hi all,

I'm wondering why the second line in my definition for `*xor*` below is
being partially highlighted in a very light gray background, as shown.

Thanks,
-db

data Bin : Set where
  ⟨⟩ : Bin
  _O : Bin → Bin
  _I : Bin → Bin

_xor_ : Bin → Bin → Bin
⟨⟩    xor y      =  y
x     xor ⟨⟩     =  x
(x O) xor (y O)  = (x xor y) O
(x O) xor (y I)  = (x xor y) I
(x I) xor (y O)  = (x xor y) I
(x I) xor (y I)  = (x xor y) O
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200929/22abaf2b/attachment.html>