diff options
| author | ppedrot | 2013-11-06 14:52:16 +0000 |
|---|---|---|
| committer | ppedrot | 2013-11-06 14:52:16 +0000 |
| commit | 84d1ea3dc63fed962757d3100122382c2e8fb4d6 (patch) | |
| tree | 4950735e7876b0a523b3230b02c20eb7e5767f01 /lib | |
| parent | 2a4d71fc15dfa4916358e3eba5d37c1995a68f90 (diff) | |
better IStream.concat
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@17064 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/iStream.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/iStream.ml b/lib/iStream.ml index 64cbb5807e..f7d50612f9 100644 --- a/lib/iStream.ml +++ b/lib/iStream.ml @@ -75,8 +75,8 @@ let rec map_filter_node f = function and map_filter f s = lazy (map_filter_node f (Lazy.force s)) let rec concat_node = function -| Nil -> empty -| Cons (s, sl) -> app s (concat sl) +| Nil -> Nil +| Cons (s, sl) -> app_node (Lazy.force s) (concat sl) and concat (s : 'a t t) = - thunk (lazy (concat_node (Lazy.force s))) + lazy (concat_node (Lazy.force s)) |