summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-multifile/pr7563.ml
blob: d7950efbeaf6c45f59712c87f3cc3a5e2340a060 (plain)
1
2
3
4
5
(* TEST
modules = "f.ml"
*)

exit (if F.Alias = F.alias then 0 else 1)