ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-01 20:04:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

converting iron and zinc cores to lead bug

Browse Source 
In the current release candidate, this happens:

```
> ^?(^|(add))
wrap-gold
ford: %slim failed: 
ford: %ride failed to compute type:
```

This is a jet mismatch from `+wrap`, I believe:

https://github.com/urbit/arvo/blob/release-candidate/sys/hoon.hoon#L11139

You should be able to convert iron and zinc cores to lead.
This commit is contained in:
Joshua Reagan 2018-10-25 17:34:49 -07:00 committed by GitHub
parent 15f72cd435
commit a8fbd49864
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
jets/f/ut_wrap.c
View File

@ -41,8 +41,9 @@
if ( c3n == u3r_trel(pq_sut, &ppq_sut, &qpq_sut, &rpq_sut) ) {
return u3m_bail(c3__fail);
}
else if ( c3__gold != rpq_sut ) {
return u3m_error("wrap-gold");
else if ( (c3__gold != rpq_sut) &&
(c3__lead != yoz) ) {
return u3m_error("wrap-metal");
}
else {
return u3nt(c3__core,