Currently the aliases are stored just by their names. When searched by concat, List.flatten is not hit, but many list concat functions are aliases of it. Since the search results only tells the name of the alias without type, the type of List.flatten is not displayed.
The ideal is to display List.flatten with its type, but in general, it may be difficult within the current implementation of alias analysis: generally speaking, M.x in aliases may not be M.x which is accessible outside of M. For example:
(* module M *)
let x = 1
let y = x
let x = 3
M.y is an alias of the first M.x, but M.x accessible outside of this module is the second M.x.
Currently the aliases are stored just by their names. When searched by
concat,List.flattenis not hit, but many list concat functions are aliases of it. Since the search results only tells the name of the alias without type, the type ofList.flattenis not displayed.The ideal is to display
List.flattenwith its type, but in general, it may be difficult within the current implementation of alias analysis: generally speaking,M.xin aliases may not beM.xwhich is accessible outside ofM. For example:M.yis an alias of the firstM.x, butM.xaccessible outside of this module is the secondM.x.