ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2025-01-06 23:16:29 +03:00
Code Issues Packages Projects Releases Wiki Activity

Bug fix for metal-wrapping runes

Browse Source 
A bug causes this cast to go through:

```
^+(|=(@ 15) ^&(|=(@ 15)))
```

It should nest-fail.  This change makes the cast work correctly with the metal wrapping runes `^&`, `^|`, and `^?`.
This commit is contained in:
Joshua Reagan 2018-10-31 13:56:56 -05:00 committed by GitHub
parent 579efd9972
commit 58cf323aa7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
sys/hoon.hoon
View File

@ -10252,15 +10252,15 @@
:: ::
{$dtwt *} [(nice bool) [%3 q:$(gen p.gen, gol %noun)]] {$dtwt *} [(nice bool) [%3 q:$(gen p.gen, gol %noun)]]
{$hand *} [p.gen q.gen] {$hand *} [p.gen q.gen]
{$ktbr *} =+(vat=$(gen p.gen) [(wrap(sut p.vat) %iron) q.vat]) {$ktbr *} =+(vat=$(gen p.gen) [(nice (wrap(sut p.vat) %iron)) q.vat])
:: ::
{$ktls *} {$ktls *}
=+(hif=(nice (play p.gen)) [hif q:$(gen q.gen, gol hif)]) =+(hif=(nice (play p.gen)) [hif q:$(gen q.gen, gol hif)])
:: ::
{$ktpd *} =+(vat=$(gen p.gen) [(wrap(sut p.vat) %zinc) q.vat]) {$ktpd *} =+(vat=$(gen p.gen) [(nice (wrap(sut p.vat) %zinc)) q.vat])
{$ktsg *} (blow gol p.gen) {$ktsg *} (blow gol p.gen)
{$tune *} [(face p.gen sut) [%0 %1]] {$tune *} [(face p.gen sut) [%0 %1]]
{$ktwt *} =+(vat=$(gen p.gen) [(wrap(sut p.vat) %lead) q.vat]) {$ktwt *} =+(vat=$(gen p.gen) [(nice (wrap(sut p.vat) %lead)) q.vat])
:: ::
{$note *} {$note *}
=+ hum=$(gen q.gen) =+ hum=$(gen q.gen)