summaryrefslogtreecommitdiff
path: root/testsuite/tests/tool-toplevel/show_short_paths.ml
blob: 1051a1839fea5a92867e4f4c584538934644fb82 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(* TEST
 flags = " -short-paths ";
 expect;
*)

(* This is currently just a regression test for the bug
   reported here: https://github.com/ocaml/ocaml/issues/9828 *)

#show list;;
[%%expect {|
type 'a list = [] | (::) of 'a * 'a list
|}];;

type 'a t;;
#show t;;
[%%expect {|
type 'a t
type 'a t
|}];;