File tree Expand file tree Collapse file tree 2 files changed +6
-10
lines changed
test/blackbox-tests/test-cases/utop/utop-default Expand file tree Collapse file tree 2 files changed +6
-10
lines changed Original file line number Diff line number Diff line change 1
1
By default , dune utop tries to make a toplevel for the current directory:
2
2
3
- $ echo ' exit 0;;' | dune utop . -- -init " " | grep -v ' version'
4
- Enter # help;; for help.
5
-
6
- Init file not found: " " .
7
- #
3
+ $ touch empty
4
+ $ echo ' print_endline "success";; exit 0;;' | dune utop . -- -stdin -init empty
5
+ success
Original file line number Diff line number Diff line change 1
1
Utop will load libs recursively:
2
2
3
- $ echo ' exit 0;;' | dune utop . -- -init " " | grep -v ' version'
4
- Enter # help;; for help.
5
-
6
- Init file not found: " " .
7
- #
3
+ $ touch empty
4
+ $ echo ' print_endline "success";; exit 0;;' | dune utop . -- -stdin -init empty
5
+ success
8
6
9
7
10
8
The message where the library path does not exist is different:
You can’t perform that action at this time.
0 commit comments