diff options
Diffstat (limited to '')
-rw-r--r-- | compiler/Pure.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index 11f627d7..d9d3a404 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -525,6 +525,8 @@ type fun_effect_info = { can_fail : bool; (** [true] if the return type is a [result] *) can_diverge : bool; (** [true] if the function can diverge (i.e., not terminate) *) + is_rec : bool; + (** [true] if the function is recursive (or in a mutually recursive group) *) } (** Meta information about a function signature *) |