Commit 6ce3c407 authored by Camil Staps's avatar Camil Staps
Browse files

Fix instances for builtin types

parent b26959de
......@@ -144,10 +144,10 @@ where
link (TypeDefEntry tde) = TypeDefEntry
{ tde
& tde_instances=idxfilter \e -> case e of
InstanceEntry ie -> not $ isEmpty [() \\ 'T'.Type t _ <- concatMap ('T'.subtypes o fst) ie.ie_types | t == 'CDB'.getName tde.tde_loc]
InstanceEntry ie -> not $ isEmpty [() \\ 'T'.Type t _ <- concatMap ('T'.subtypes o fst) ie.ie_types | t == 'T'.td_name ('CDB'.getTypeDef tde)]
_ -> False
, tde_derivations=idxfilter \e -> case e of
DeriveEntry {de_type='T'.Type t _} -> t == 'CDB'.getName tde.tde_loc
DeriveEntry {de_type='T'.Type t _} -> t == 'T'.td_name ('CDB'.getTypeDef tde)
_ -> False
}
link (ClassEntry ce) = ClassEntry
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment