diff options
| author | Son Ho | 2023-12-15 10:17:06 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-15 10:17:06 +0100 |
| commit | cf984f958da94154d0550060eb290a276ab52f23 (patch) | |
| tree | 1fed30740ebd5f9e2f253f129da6cfb39a2c37c4 /compiler/Pure.ml | |
| parent | f1f41818fb14a6c46442ca42a49a3aab0a5b1aaf (diff) | |
Make minor modifications
Diffstat (limited to 'compiler/Pure.ml')
| -rw-r--r-- | compiler/Pure.ml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index c3716001..34f3ef72 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -886,13 +886,13 @@ type inputs_info = { } [@@deriving show] -type 'a back_info = - | SingleBack of 'a option +type ('a, 'b) back_info = + | SingleBack of 'a (** Information about a single backward function, if pertinent. We use this variant if we split the forward and the backward functions. *) - | AllBacks of 'a RegionGroupId.Map.t + | AllBacks of 'b RegionGroupId.Map.t (** Information about the various backward functions. We use this if we *do not* split the forward and the backward functions. @@ -900,7 +900,8 @@ type 'a back_info = *) [@@deriving show] -type back_inputs_info = inputs_info back_info [@@deriving show] +type back_inputs_info = (inputs_info option, inputs_info) back_info +[@@deriving show] (** Meta information about a function signature *) type fun_sig_info = { |