git.iko.soy/rel8
on master help sign in
Try to fix compile error?
666f0b9Shane O'Brien
src/Rel8/Table/HKD.hs+5−1
compare with master
unifiedsplit
@@ -206,8 +206,12 @@ toHKD :: GHKD a => a -> HKD a Result
206toHKD = to . gmap @Top (Proxy @(TColumn Result)) id . from
206toHKD = to . gmap @Top (Proxy @(TColumn Result)) id . from
207
207
208
208
209+class Top_
210+instance Top_
211+
212+
209data Top :: Type -> Exp Constraint
213data Top :: Type -> Exp Constraint
210−type instance Eval (Top _) = ()
214+type instance Eval (Top _) = Top_
211
215
212
216
213class
217class