diff options
author | Son Ho | 2023-12-14 17:11:01 +0100 |
---|---|---|
committer | Son Ho | 2023-12-14 17:11:01 +0100 |
commit | f69ac6a4a244c99a41a90ed57f74ea83b3835882 (patch) | |
tree | e236579090ca5e6e18a815f3e5b5e36359fb4af8 /compiler/PureUtils.ml | |
parent | 7630c45b7990d0df1db022f827e7de676ad4499a (diff) |
Start updating Pure.fun_sig_info to handle merged forward and backward functions
Diffstat (limited to '')
-rw-r--r-- | compiler/PureUtils.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/PureUtils.ml b/compiler/PureUtils.ml index 23a41f0e..3c038149 100644 --- a/compiler/PureUtils.ml +++ b/compiler/PureUtils.ml @@ -74,7 +74,11 @@ let inputs_info_is_wf (info : inputs_info) : bool = let fun_sig_info_is_wf (info : fun_sig_info) : bool = inputs_info_is_wf info.fwd_info && - match info.back_info with None -> true | Some info -> inputs_info_is_wf info + match info.back_info with + | SingleBack None -> true + | SingleBack (Some info) -> inputs_info_is_wf info + | AllBacks infos -> + List.for_all inputs_info_is_wf (RegionGroupId.Map.values infos) let dest_arrow_ty (ty : ty) : ty * ty = match ty with |