Verified Commit b20e618d authored by Camil Staps's avatar Camil Staps 🙂

Minor cleanup

parent 31a99b7c
......@@ -237,15 +237,15 @@ makeResult orgsearchtype allsyns usedsyns (entry, annots) db = case entry of
toStrUnifier :: Unifier -> StrUnifier
toStrUnifier unif =
{ StrUnifier
| left_to_right = map toStr [a \\ LeftToRight a <- unif.assignments]
, right_to_left = map toStr [a \\ RightToLeft a <- unif.assignments]
| left_to_right = [toStr v t \\ LeftToRight (v,t) <- unif.assignments]
, right_to_left = [toStr v t \\ RightToLeft (v,t) <- unif.assignments]
, used_synonyms = [
( concat $ [td.td_name," ":intersperse " " $ print False td.td_args]
, concat $ print False s)
\\ td=:{td_rhs=TDRSynonym s} <- unif.Unifier.used_synonyms]
}
where
toStr (var, type) = (var, concat $ print False type)
toStr var type = (var, concat $ print False type)
TypeDefEntry tde
# (insts,db) = getValuesByIndices` tde.tde_instances db
......
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