let FilterPredictions unknownIdent allPredictions =

let rec take n predictions =

predictions

|> Seq.mapi (fun i x -> i,x)

|> Seq.takeWhile (fun (i,_) -> i < n)

|> Seq.map snd

|> Seq.toList

allPredictions

|> Seq.toList

|> List.distinct

|> List.sortBy (fun s -> Internal.Utilities.EditDistance.CalcEditDistance(unknownIdent,s))

|> take 5

let FormatPredictions predictions =

match predictions with

| [] -> System.String.Empty

| _ ->

let predictionText =

predictions

|> Seq.map (sprintf "%s %s" System.Environment.NewLine)

|> String.concat ""

System.Environment.NewLine + FSComp.SR.undefinedNameRecordLabelDetails() + predictionText