Add Lib.public_name
This commit is contained in:
parent
ce65e27045
commit
1013db83b5
|
@ -101,3 +101,7 @@ let remove_dups_preserve_order libs =
|
||||||
in
|
in
|
||||||
loop String_set.empty libs []
|
loop String_set.empty libs []
|
||||||
;;
|
;;
|
||||||
|
|
||||||
|
let public_name = function
|
||||||
|
| External pkg -> Some pkg.name
|
||||||
|
| Internal (_, lib) -> Option.map lib.public ~f:(fun p -> p.name)
|
||||||
|
|
|
@ -33,3 +33,5 @@ val remove_dups_preserve_order : t list -> t list
|
||||||
|
|
||||||
(*val ppx_runtime_libraries : t list -> String_set.t
|
(*val ppx_runtime_libraries : t list -> String_set.t
|
||||||
*)
|
*)
|
||||||
|
|
||||||
|
val public_name : t -> string option
|
||||||
|
|
Loading…
Reference in New Issue