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

Merge pull request #489 from ohAitch/no-vale-noun

Browse Source 
Don't erase types in (lake %noun), which should always suceed
This commit is contained in:
Ted Blackman 2017-12-11 17:00:36 -08:00 committed by GitHub
commit 44e9e16916
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
sys/vane/ford.hoon
View File

@ -1066,6 +1066,12 @@
|= {fit/? for/mark}
|= {cof/cafe sam/vase}
^- (bolt vase)
::
:: don't verify the product type when using the %noun mark, since
:: that would cast to *, which would prevent the product from
:: being used as a gate or other typed structure.
?: =(for %noun) (fine cof sam)
::
%+ cool |.(leaf+"ford: check {<[for bek `@p`(mug q.sam)]>}")
%+ cope (fang cof for)
|= {cof/cafe tux/vase}