Try to fix compile error?
commit666f0b94a0d479b4e77d44ece6455465f8835485
authorShane O'Brien <shane.obrien@circuithub.com>
dateWed 5 May 2021, 12:00 (6 years ago)
parentd07e3b5
src/Rel8/Table/HKD.hs+5−1
@@ -206,8 +206,12 @@ toHKD :: GHKD a => a -> HKD a Result
206206toHKD = to . gmap @Top (Proxy @(TColumn Result)) id . from
207207
208208
209+class Top_
210+instance Top_
211+
212+
209213data Top :: Type -> Exp Constraint
210−type instance Eval (Top _) = ()
214+type instance Eval (Top _) = Top_
211215
212216
213217class