Flip order of hash signature

This commit is contained in:
Ayaz Hafiz 2022-10-04 12:14:07 -05:00
parent 5c6856d1d6
commit f68cb3b0ed
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 3 additions and 3 deletions

View file

@ -22,7 +22,7 @@ Hash has
## Hashes a value into a [Hasher].
## Note that [hash] does not produce a hash value itself; the hasher must be
## [complete]d in order to extract the hash value.
hash : a, hasher -> hasher | a has Hash, hasher has Hasher
hash : hasher, a -> hasher | a has Hash, hasher has Hasher
## Describes a hashing algorithm that is fed bytes and produces an integer hash.
##

View file

@ -7833,9 +7833,9 @@ mod solve_expr {
Noop := {} has [Hash {hash}]
hash = \@Noop {}, hasher -> hasher
hash = \hasher, @Noop {} -> hasher
main = \hasher -> hash (@Noop {}) hasher
main = \hasher -> hash hasher (@Noop {})
"#
),
"hasher -> hasher | hasher has Hasher",