urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-29 06:45:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

get kale to compile with new types

Browse Source
This commit is contained in:
Philip Monk 2019-07-05 14:17:09 -07:00
parent c5b73d9c89
commit 6eca8c9f28
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
1 changed files with 21 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
pkg/arvo/sys/vane/kale.hoon
View File

@ -246,19 +246,19 @@
=. tuf.own.pki turf.tac =. tuf.own.pki turf.tac
:: our initial galaxy table as a +map from +life to +public :: our initial galaxy table as a +map from +life to +public
:: ::
=/ point-diffs=(list [who=ship =point-diff]) =/ =udiffs:point
%~ tap by %~ tap by
%- ~(run by czar.tac) %- ~(run by czar.tac)
|=([=life =pass] `point-diff`[%changed-keys life 1 pass]) |=([=life =pass] `udiff:point`[*[@ @] %keys life 1 pass])
=. +>.$ =. +>.$
|- ^+ +>.^$ |- ^+ +>.^$
?~ point-diffs ?~ udiffs
+>.^$ +>.^$
=. +>.^$ =. +>.^$
%- curd =< abet %- curd =< abet
%- public-keys:~(feel su hen our pki etn sap) %- public-keys:~(feel su hen our pki etn sap)
[%diff who point-diff]:i.point-diffs [%diff ship udiff]:i.udiffs
$(point-diffs t.point-diffs) $(udiffs t.udiffs)
:: ::
=. moz =. moz
%+ weld moz %+ weld moz
@ -681,7 +681,7 @@
..feel ..feel
=. ..feel =. ..feel
%- public-keys:feel %- public-keys:feel
[%diff who.i.passes %changed-keys 1 1 pass.i.passes] [%diff who.i.passes *[@ @] %keys 1 1 pass.i.passes]
$(passes t.passes) $(passes t.passes)
-- --
-- --
@ -703,32 +703,36 @@
(~(get ju ney.zim) who.i.pointl) (~(get ju ney.zim) who.i.pointl)
[%full (my i.pointl ~)] [%full (my i.pointl ~)]
=* who who.vent-result =* who who.vent-result
=* point-diff point-diff.vent-result =* udiff udiff.vent-result
=/ maybe-point (~(get by pos.zim) who) =/ maybe-point (~(get by pos.zim) who)
=/ =point (fall maybe-point *point) =/ =point (fall maybe-point *point)
:: XX don't do max etc, just do the thing
=. point =. point
?- -.point-diff ?- +<.udiff
%new-sponsor %spon
point(sponsor sponsor.point-diff) point(sponsor sponsor.udiff)
:: ::
%changed-continuity %rift
point(rift (max rift.point-diff rift.point)) point(rift (max rift.udiff rift.point))
:: ::
%changed-keys %keys
%_ point %_ point
life (max life.point-diff life.point) life (max life.udiff life.point)
keys keys
%+ ~(put by keys.point) %+ ~(put by keys.point)
life.point-diff life.udiff
[crypto-suite pass]:point-diff [crypto-suite pass]:udiff
== ==
::
%disavow
~| %not-implemented !!
== ==
=. pos.zim (~(put by pos.zim) who point) =. pos.zim (~(put by pos.zim) who point)
%+ vent-give %+ vent-give
(~(get ju ney.zim) who) (~(get ju ney.zim) who)
?~ maybe-point ?~ maybe-point
[%full (my [who point]~)] [%full (my [who point]~)]
[%diff who point-diff] [%diff who udiff]
:: :: ++vein:feel:su :: :: ++vein:feel:su
++ private-keys :: kick private keys ++ private-keys :: kick private keys
|= [=life =ring] |= [=life =ring]