let eclipse_parse_input options urilist = let dll = List.map (fun l -> let filelist = List.map unpack l in Eclipse.Packages.input_raw filelist ) urilist in eclipse_load_list options dll