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

change error message formatting of #require 

Before:
  utop # #require "foo";;
  No such package: foo""
After:
  utop # #require "foo";;
  No such package: foo

The quoted empty string due to %S can be confusing to students.
This commit is contained in:
Maverick Woo 2014-10-17 11:57:32 -04:00
parent ea45f25c73
commit 2116ebdcfc
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.ml
View File

@ -605,7 +605,7 @@ let handle_findlib_error = function
| Failure msg -> | Failure msg ->
Lwt_main.run (print_error msg) Lwt_main.run (print_error msg)
| Fl_package_base.No_such_package(pkg, reason) -> | Fl_package_base.No_such_package(pkg, reason) ->
Lwt_main.run (print_error (Printf.sprintf "No such package: %s%S\n" pkg (if reason <> "" then " - " ^ reason else ""))) Lwt_main.run (print_error (Printf.sprintf "No such package: %s%s\n" pkg (if reason <> "" then " - " ^ reason else "")))
| Fl_package_base.Package_loop pkg -> | Fl_package_base.Package_loop pkg ->
Lwt_main.run (print_error (Printf.sprintf "Package requires itself: %s\n" pkg)) Lwt_main.run (print_error (Printf.sprintf "Package requires itself: %s\n" pkg))
| exn -> | exn ->