From e3af8640385fc828fcee848ae9a8a097a038a709 Mon Sep 17 00:00:00 2001 From: octachron Date: Wed, 5 May 2021 14:16:16 +0200 Subject: Signature_group: ghost-aware iteration over signatures Signatures contain ghost type items that depends on a core syntactic item, the module "Signature_group" provides iterators that are aware of this difference between syntactic and ghost items. --- compilerlibs/Makefile.compilerlibs | 1 + 1 file changed, 1 insertion(+) (limited to 'compilerlibs') diff --git a/compilerlibs/Makefile.compilerlibs b/compilerlibs/Makefile.compilerlibs index 9786fe1afe..e1e18771e6 100644 --- a/compilerlibs/Makefile.compilerlibs +++ b/compilerlibs/Makefile.compilerlibs @@ -85,6 +85,7 @@ TYPING = \ typing/persistent_env.cmo \ typing/env.cmo \ typing/typedtree.cmo \ + typing/signature_group.cmo \ typing/printtyped.cmo \ typing/ctype.cmo \ typing/printtyp.cmo \ -- cgit v1.2.1