haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

complete on #load_rec the same way as #load 

closes #52
This commit is contained in:
Jeremie Dimino 2014-01-09 08:46:16 +00:00
parent 54701df7bb
commit ee400fe51b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/uTop_complete.ml
View File

@ -828,7 +828,7 @@ let complete ~syntax ~phrase_terminator ~input =
end end
(* Completion on #load. *) (* Completion on #load. *)
| [(Symbol "#", _); (Lident "load", _); (String false, loc)] -> | [(Symbol "#", _); (Lident ("load" | "load_rec"), _); (String false, loc)] ->
let file = String.sub input (loc.ofs1 + 1) (String.length input - loc.ofs1 - 1) in let file = String.sub input (loc.ofs1 + 1) (String.length input - loc.ofs1 - 1) in
let filter name = Filename.check_suffix name ".cma" || Filename.check_suffix name ".cmo" in let filter name = Filename.check_suffix name ".cma" || Filename.check_suffix name ".cmo" in
let map = let map =