unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-15 14:35:01 +03:00
Code Issues Projects Releases Wiki Activity

Fix text with !! in a name

Browse Source
This commit is contained in:
Runar Bjarnason 2019-08-03 23:34:11 -04:00
parent af53d95ec9
commit 6b09e30e9d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
unison-src/tests/stream.u
View File

@ -23,7 +23,7 @@ namespace Stream where
run' s = case s of Stream s -> s run' s = case s of Stream s -> s
(++) : Stream {e} a r -> Stream {e} a r -> Stream {e} a r (++) : Stream {e} a r -> Stream {e} a r -> Stream {e} a r
s1 ++ s2 = Stream '(run' s1 !! run' s2) s1 ++ s2 = Stream '(forceBoth (run' s1) (run' s2))
from : Nat -> Stream e Nat () from : Nat -> Stream e Nat ()
from n = unfold n (n -> Some (n, n + 1)) from n = unfold n (n -> Some (n, n + 1))
@ -67,7 +67,7 @@ namespace Stream where
-- > toSeq (Stream.take 20 (from 0)) -- > toSeq (Stream.take 20 (from 0))
-- run two thunks in sequence -- run two thunks in sequence
a !! b = forceBoth a b =
!a !a
!b !b