diff options
| author | Adelyn Breelove <[email protected]> | 2019-02-19 12:36:05 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-02-19 12:36:05 -0700 |
| commit | 301d7d3ee1d50feb0ed01e6eae8c78610a512012 (patch) | |
| tree | f461d4ef7a02bef2e57b049f1f573a1d1da785b3 | |
| parent | Add permissions module (diff) | |
| download | disml-301d7d3ee1d50feb0ed01e6eae8c78610a512012.tar.xz disml-301d7d3ee1d50feb0ed01e6eae8c78610a512012.zip | |
Fix to_seq_from implementation
| -rw-r--r-- | lib/models/permissions.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/models/permissions.ml b/lib/models/permissions.ml index 0026f49..ef27d84 100644 --- a/lib/models/permissions.ml +++ b/lib/models/permissions.ml @@ -39,7 +39,9 @@ let of_seq seq = List.of_seq seq |> of_list let to_seq mask = elements mask |> List.to_seq -let to_seq_from (elt:elt) (_:storage) = Seq.return elt +let to_seq_from elt init = + let _, _, r = split elt init in + elements r |> List.to_seq let add_seq seq init = List.of_seq seq |