Cloogle/Search.icl

@@ -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