mirror of
https://github.com/anoma/juvix.git
synced 2024-12-02 10:47:32 +03:00
0a9ec8fb37
This PR adds frontend support for Anoma stdlib sha256 function (aka
`shax` in Nock).
* Closes https://github.com/anoma/juvix/issues/2901
The new builtin can be declared as follows:
```
builtin anoma-sha256
axiom anomaSha256 : Nat -> ByteArray;
```
The intention is that it wraps a call to anomaEncode as follows:
```
sha256 {A} (a : A) : ByteArray := anomaSha256 (anomaEncode a);
```
### Fix for atom to ByteString
This PR also includes a commit
|
||
|---|---|---|
| .. | ||
| Anoma/Compilation | ||
| Asm | ||
| benchmark | ||
| Casm | ||
| Compilation | ||
| Core | ||
| examplesExpected | ||
| Internal | ||
| negative | ||
| nockma/positive | ||
| positive | ||
| Reg/positive | ||
| runtime/positive | ||
| Rust/Compilation/positive | ||
| smoke | ||
| Tree | ||
| VampIR | ||
| WithoutPackageFile | ||
| .gitattributes | ||