File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
unison-src/transcripts-round-trip Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -80,7 +80,7 @@ structural type SomethingUnusuallyLong
80
80
= SomethingUnusuallyLong Text Text Text
81
81
82
82
structural type UUID
83
- = UUID Nat (Nat, Nat)
83
+ = UUUID Nat (Nat, Nat)
84
84
85
85
structural ability Zoink where
86
86
nay : Text -> (Nat, Nat) ->{Zoink} Nat
@@ -816,11 +816,11 @@ use_clauses_example2 oo =
816
816
bar.quaffle + bar.quaffle + bar.quaffle + 1
817
817
818
818
UUID.random : 'UUID
819
- UUID.random = do UUID 0 (0, 0)
819
+ UUID.random = do UUUID 0 (0, 0)
820
820
821
821
UUID.randomUUIDBytes : 'Bytes
822
822
UUID.randomUUIDBytes = do
823
- (UUID a (b, _)) = random()
823
+ (UUUID a (b, _)) = random()
824
824
encodeNat64be a Bytes.++ encodeNat64be b
825
825
826
826
(|>) : a -> (a ->{e} b) ->{e} b
You can’t perform that action at this time.
0 commit comments