Skip to content

Don't copy when resolving aliases in try_modtypes#1184

Merged
lpw25 merged 1 commit intoocaml-flambda:mainfrom
rleshchinskiy:expand-alias
Mar 9, 2023

Commits

Commits on Mar 9, 2023