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

Disallow leading 'zeroes' in @p

Browse Source 
As a consequence, also removed ~doznec special case in dill
This commit is contained in:
Raymond Pasco 2016-02-03 16:22:06 -05:00
parent 88c063621f
commit c3f4be83e5
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
arvo/dill.hoon
View File

@ -132,10 +132,7 @@
%czar [%czar ~] %czar [%czar ~]
%duke [%duke %anon ~] %duke [%duke %anon ~]
%earl [%earl (scot %p p.kyz)] %earl [%earl (scot %p p.kyz)]
%king :- %king %king [%king (scot %p p.kyz)]
?: =(~doznec p.kyz) :: so old tickets work
'Urban Republic'
(scot %p p.kyz)
%pawn [%pawn ~] %pawn [%pawn ~]
== ==
=+ yen=(scot %p (shax :(mix %ticket eny now))) =+ yen=(scot %p (shax :(mix %ticket eny now)))

4
arvo/hoon.hoon
View File

@ -3789,8 +3789,9 @@
|% |%
++ bix (bass 16 (stun [2 2] six)) ++ bix (bass 16 (stun [2 2] six))
++ fem (sear |=(a=@ (cha:fa a)) aln) ++ fem (sear |=(a=@ (cha:fa a)) aln)
++ hef (bass 256 ;~(plug tep tiq (easy ~)))
++ hif (bass 256 ;~(plug tip tiq (easy ~))) ++ hif (bass 256 ;~(plug tip tiq (easy ~)))
++ huf (bass 0x1.0000 ;~(plug hif (stun [0 3] ;~(pfix hep hif)))) ++ huf (bass 0x1.0000 ;~(plug hef (stun [0 3] ;~(pfix hep hif))))
++ hyf (bass 0x1.0000 ;~(plug hif (stun [3 3] ;~(pfix hep hif)))) ++ hyf (bass 0x1.0000 ;~(plug hif (stun [3 3] ;~(pfix hep hif))))
++ pev (bass 32 ;~(plug sev (stun [0 4] siv))) ++ pev (bass 32 ;~(plug sev (stun [0 4] siv)))
++ pew (bass 64 ;~(plug sew (stun [0 4] siw))) ++ pew (bass 64 ;~(plug sew (stun [0 4] siw)))
@ -3819,6 +3820,7 @@
== ==
++ sox (cook |=(a=@ (sub a 87)) (shim 'a' 'f')) ++ sox (cook |=(a=@ (sub a 87)) (shim 'a' 'f'))
++ ted (bass 10 ;~(plug sed (stun [0 2] sid))) ++ ted (bass 10 ;~(plug sed (stun [0 2] sid)))
++ tep (sear |=(a=@ ?:(=(a 'doz') ~ (ins:po a))) til)
++ tip (sear |=(a=@ (ins:po a)) til) ++ tip (sear |=(a=@ (ins:po a)) til)
++ tiq (sear |=(a=@ (ind:po a)) til) ++ tiq (sear |=(a=@ (ind:po a)) til)
++ tid (bass 10 (stun [3 3] sid)) ++ tid (bass 10 (stun [3 3] sid))