diff options
Diffstat (limited to 'lambda/translmod.mli')
| -rw-r--r-- | lambda/translmod.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lambda/translmod.mli b/lambda/translmod.mli index d0898c769a..af042d6a53 100644 --- a/lambda/translmod.mli +++ b/lambda/translmod.mli @@ -48,7 +48,9 @@ type unsafe_component = | Unsafe_non_function | Unsafe_typext -type unsafe_info = { reason:unsafe_component; loc:Location.t; subid:Ident.t } +type unsafe_info = + | Unsafe of { reason:unsafe_component; loc:Location.t; subid:Ident.t } + | Unnamed type error = Circular_dependency of (Ident.t * unsafe_info) list |