search

agrafix / superrecord

Haskell: Supercharged anonymous records
BSD 3-Clause "New" or "Revised" License
83 stars 16 forks source link

RemoveAccessTo is buggy? #27

Open neongreen opened 4 years ago

neongreen commented 4 years ago 

RemoveAccessTo l ((l := t) ': lts) = RemoveAccessTo l lts
RemoveAccessTo q ((l := t) ': lts) = (l := t) ': RemoveAccessTo l lts
RemoveAccessTo q '[] = '[]

Shouldn't it be RemoveAccessTo q lts in the second equation?

agrafix commented 4 years ago

Ah, nice catch... Yes!

neongreen commented 4 years ago

Given that it doesn't work, I wonder whether it was necessary at all..?

agrafix commented 4 years ago

Yeah afaik it is only used in type instances so maybe we can nix it.