diff options
| author | Alasdair Armstrong | 2020-01-16 19:14:22 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2020-01-16 19:14:22 +0000 |
| commit | bc6b51d70a783df161f8fb43264ea1558ff37bac (patch) | |
| tree | 06cfe24052ab08f0268c116ce488be115c4e6af4 /src/slice.ml | |
| parent | bc55a2c25d0f2f630acf457420d5b868d2855ebc (diff) | |
Allow effects on mappings
Diffstat (limited to 'src/slice.ml')
| -rw-r--r-- | src/slice.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/slice.ml b/src/slice.ml index a38a207c..c249fb5a 100644 --- a/src/slice.ml +++ b/src/slice.ml @@ -130,7 +130,7 @@ and typ_ids' (Typ_aux (aux, _)) = IdSet.add id (List.fold_left IdSet.union IdSet.empty (List.map typ_arg_ids' args)) | Typ_fn (typs, typ, _) -> IdSet.union (typ_ids' typ) (List.fold_left IdSet.union IdSet.empty (List.map typ_ids' typs)) - | Typ_bidir (typ1, typ2) -> + | Typ_bidir (typ1, typ2, _) -> IdSet.union (typ_ids' typ1) (typ_ids' typ2) | Typ_tup typs -> List.fold_left IdSet.union IdSet.empty (List.map typ_ids' typs) |