Merge branch 'test' of https://github.com/urbit/urbit into test

Conflicts:
	urb/urbit.pill
This commit is contained in:
C. Guy Yarvin 2015-01-19 14:05:12 -08:00
commit d8da2f2828
21 changed files with 46 additions and 52 deletions

View File

@ -1008,8 +1008,8 @@
:: ::
++ said :: sayz, done wrong ++ said :: sayz, done wrong
|= vud=vase |= vud=vase
:: =- [p.fob (weld (flop q.fob) mow)] =- [p.fob (weld (flop q.fob) mow)]
:: ^= fob ^= fob
|- ^- (pair (list toil) (list move)) |- ^- (pair (list toil) (list move))
?: =(~ q.vud) [~ ~] ?: =(~ q.vud) [~ ~]
=+ sud=(sump (slot 2 vud)) =+ sud=(sump (slot 2 vud))

View File

@ -4,7 +4,7 @@
$% [%went p=ship q=cape] $% [%went p=ship q=cape]
[%init p=@p] [%init p=@p]
== == == == == ==
++ began-args ,[his=@p tic=@p eny=@t ges=gens] ++ began-args ,[his=@p tic=@p eny=@t ges=gens ~]
-- --
:: ::
!: !:

View File

@ -27,7 +27,7 @@
:* :* ost %pass /to-gan %g %mess [our.hid /began] our.hid :* :* ost %pass /to-gan %g %mess [our.hid /began] our.hid
%began-args !>([his tic eny ges]) %began-args !>([his tic eny ges])
== ==
(spam %rush %prompt "[waiting...]" %text '') (spam %rush %prompt '[waiting...]' %text '')
== ==
:: ::
++ loon ++ loon
@ -383,7 +383,7 @@
== ==
:: ::
++ poke-begin-args ++ poke-begin-args
|= [ost=bone you=ship arg=?(~ [his=ship ~])] |= [ost=bone you=ship arg=$|(~ [his=ship ~])]
=^ res +>.$ =^ res +>.$
^- [[pot=(unit ,[cord prom cord]) tak=(list cord)] _+>.$] ^- [[pot=(unit ,[cord prom cord]) tak=(list cord)] _+>.$]
?~ arg ?~ arg

View File

@ -12,10 +12,10 @@
++ poke--args ++ poke--args
%+ args-into-gate . %+ args-into-gate .
|= [arg=(list path)] |= [arg=(list path)]
=- tang/(flop `(list tank)`(zing -)) =- tang/(zing -)
%+ turn arg %+ turn arg
|= pax=path |= pax=path
^- (list tank) ^- tang
=+ ark=;;(arch .^(%cy pax)) =+ ark=;;(arch .^(%cy pax))
?^ q.ark ?^ q.ark
:- leaf/(spud pax) :- leaf/(spud pax)

View File

@ -31,7 +31,7 @@
%nice %nice
[ost %give %nice ~]~ [ost %give %nice ~]~
%rush %rush
%+ weld (spam %rush %prompt 'searching for {<arg>}...') %+ weld (spam %rush %prompt 'searching for {<arg>}...' %text ~)
%- spam %- spam
?- &3.sih ?- &3.sih
%txt %txt

View File

@ -40,10 +40,7 @@
|= [ost=bone pax=path sih=sign] |= [ost=bone pax=path sih=sign]
?> ?=([%hi @t ~] pax) ?> ?=([%hi @t ~] pax)
%. +< %. +<
%- add-exit =+ ack=?+(+<.sih "unsuccesful" %nice "succesful")
%^ add-output +>.$ (add-exit (print +>.$ "hi {(trip i.t.pax)} {ack}"))
=+ ack=?+(+<.sih "unsuccesful" %nice "succesful")
rush/tang/[leaf/"hi {(trip i.t.pax)} {ack}"]~
,_`+>.$
:: ::
-- --

View File

@ -41,7 +41,6 @@
%t =- %.(+<.$ (add-exit (return tang/-))) %t =- %.(+<.$ (add-exit (return tang/-)))
=+ bur=(shax (add who (shax fra))) =+ bur=(shax (add who (shax fra)))
=+ arc=(cryp 2.048 bur) =+ arc=(cryp 2.048 bur)
%- flop ^- (list tank)
:~ leaf/"generator: {(scow %uw bur)}" :~ leaf/"generator: {(scow %uw bur)}"
leaf/"fingerprint: {(scow %uw fig:ex:arc)}" leaf/"fingerprint: {(scow %uw fig:ex:arc)}"
== == == ==

View File

@ -17,7 +17,6 @@
:_ |= [tip=@tasD nam=@tas] :_ |= [tip=@tasD nam=@tas]
=+ pax=[(scot %p our.hid) %arvo (scot %da lat.hid) nam %hoon ~] =+ pax=[(scot %p our.hid) %arvo (scot %da lat.hid) nam %hoon ~]
[%veer tip pax (,@ .^(%cx pax))] [%veer tip pax (,@ .^(%cx pax))]
%- flop
^- (list ,[p=@tas q=@tas]) ^- (list ,[p=@tas q=@tas])
:~ [%$ %zuse] :~ [%$ %zuse]
[%a %ames] [%a %ames]

View File

@ -13,7 +13,7 @@
rush/tang/[leaf/"done"]~ rush/tang/[leaf/"done"]~
%+ args-into-resp . %+ args-into-resp .
|= all=(list ,@tas) |= all=(list ,@tas)
%+ turn (flop all) %+ turn all
=+ ark=(arch .^(%cy /(scot %p our.hid)/arvo/(scot %da lat.hid))) =+ ark=(arch .^(%cy /(scot %p our.hid)/arvo/(scot %da lat.hid)))
=+ van=(~(tap by r.ark)) =+ van=(~(tap by r.ark))
|= nam=@tas |= nam=@tas

View File

@ -8,11 +8,10 @@
|= [ost=bone you=ship arg=$|(~ [_| ~])] |= [ost=bone you=ship arg=$|(~ [_| ~])]
:_ +>.$ :_ +>.$
=+ top=`path`/(scot %p our.hid)/arvo/(scot %da lat.hid) =+ top=`path`/(scot %p our.hid)/arvo/(scot %da lat.hid)
:+ [ost %give %nice ~] :^ [ost %give %nice ~]
[ost %pass ?~(arg /refresh /) %t %wait lat.hid] [ost %pass ?~(arg /refresh /) %t %wait lat.hid]
%- welp :_ [ost %give %vega (weld top `path`/hoon)]~ [ost %give %vega (weld top `path`/hoon)]
%+ turn %+ turn
%- flop
^- (list ,[p=@tas q=@tas]) ^- (list ,[p=@tas q=@tas])
:~ [%$ %zuse] :~ [%$ %zuse]
[%a %ames] [%a %ames]

View File

@ -91,8 +91,7 @@
|_ [ost=bone moves=(list move)] |_ [ost=bone moves=(list move)]
++ ra-abet :: resolve core ++ ra-abet :: resolve core
^- [(list move) _+>] ^- [(list move) _+>]
:: [(flop moves) +>] :: XX return when order is correct [(flop moves) +>]
[moves +>]
:: ::
++ ra-emil :: ra-emit move list ++ ra-emil :: ra-emit move list
|= mol=(list move) |= mol=(list move)

View File

@ -142,7 +142,7 @@
:: ::
-- --
-- --
:: !:
:::: per event :::: per event
:: ::
|% |%
@ -157,7 +157,7 @@
:: ::
++ blab ++ blab
|= mof=(list move) |= mof=(list move)
+>.$(mow (welp mof mow)) +>.$(mow (welp (flop mof) mow))
:: ::
++ chew-file ++ chew-file
|= [paf=path mor=$|(cord toro)] |= [paf=path mor=$|(cord toro)]
@ -283,15 +283,16 @@
|. |.
=> a => a
=+ cil=(scot %ud pid) =+ cil=(scot %ud pid)
%_ +> =: pid +(pid)
pid +(pid)
pip ?~ inp pip (~(put by pip) cil u.inp) pip ?~ inp pip (~(put by pip) cil u.inp)
pop ?~ inp pop (~(put by pop) u.inp cil) pop ?~ inp pop (~(put by pop) u.inp cil)
inp `cil inp `cil
mow ==
%_ +>
..blab
%- blab
=+ yon=[our.hid cil imp.hid] =+ yon=[our.hid cil imp.hid]
=+ mez=[(cat 3 p.app '-args') (exec [%clsg q.app])] =+ mez=[(cat 3 p.app '-args') (exec [%clsg q.app])]
%- welp :_ mow
^- (list move) ^- (list move)
:~ [ost %pass /child/[cil]/fork %g %sire p.app cil] :~ [ost %pass /child/[cil]/fork %g %sire p.app cil]
[ost %pass /child/[cil]/out %g %show yon you /out] [ost %pass /child/[cil]/out %g %show yon you /out]
@ -364,7 +365,7 @@
=. act `p.gal =. act `p.gal
(blab ping) (blab ping)
:: ::
++ ping (print-vase !>(*(list tank))) ++ ping (print-vase !>(*tang))
++ poke-kyev ++ poke-kyev
|= [you=ship key=kyev] |= [you=ship key=kyev]
^+ +> ^+ +>
@ -383,7 +384,7 @@
%g =+ =- tak=rose/[" " "[" "]"]^(turn cubs -) %g =+ =- tak=rose/[" " "[" "]"]^(turn cubs -)
|= a=span |= a=span
leaf/(trip (rap 3 (~(got by cub.hid) a) '(' a ')' ~)) leaf/(trip (rap 3 (~(got by cub.hid) a) '(' a ')' ~))
(blab [ost give/nice/~] (print tak)) (blab [ost %give %nice ~] (print tak))
%x =. +>.$ next-act %x =. +>.$ next-act
(blab [ost %give %nice ~] ping) (blab [ost %give %nice ~] ping)
== ==
@ -413,9 +414,9 @@
(spam /active/[u.act] %rush %type tiv) (spam /active/[u.act] %rush %type tiv)
(blab [ost %give %nice ~] ~) (blab [ost %give %nice ~] ~)
:: ::
++ print |=(a=tank (print-vase !>(`(list tank)`[a ~]))) ++ print |=(a=tank (print-vase !>(`tang`[a ~])))
++ print-vase ++ print-vase
|= tan=vase :: [p=p:!>(*(list tank)) q=*] |= tan=vase :: [p=p:!>(*tang) q=*]
^- (list move) ^- (list move)
%^ spam /out %meta %^ spam /out %meta
:(slop !>(%rush) !>(%term-line) !>(prompt) !>(~) tan) :(slop !>(%rush) !>(%term-line) !>(prompt) !>(~) tan)
@ -459,7 +460,7 @@
%- print-vase %- print-vase
?+ p.sih ?+ p.sih
!>([(sell (slot 15 [typ sih]))]~) !>([(sell (slot 15 [typ sih]))]~)
%tang (slot 15 [typ sih]) %tang (slam !>(flop) p:!>(*tang) q.sih)
%txt %txt
?^ q.sih !! :: move to vase space? ?^ q.sih !! :: move to vase space?
!>([leaf/(trip q.sih)]~) !>([leaf/(trip q.sih)]~)

View File

@ -12,5 +12,5 @@
%+ gate-bang %+ gate-bang
|= [syd=@tas her=@p sud=@tas ~] |= [syd=@tas her=@p sud=@tas ~]
[%c %font our.hid syd her sud] [%c %font our.hid syd her sud]
(args-into-gate . ,_[%txt 'synced']) (print . "synced")
-- --

View File

@ -75,6 +75,7 @@
:: ::
++ start-shell ++ start-shell
|= [our=ship imp=path ost=bone you=ship pax=path] |= [our=ship imp=path ost=bone you=ship pax=path]
%- flop
^- (list move) ^- (list move)
=+ auc=(pack aut pax) =+ auc=(pack aut pax)
:- [ost %pass [%fork pax] %g %sire [aut auc]] :- [ost %pass [%fork pax] %g %sire [aut auc]]
@ -138,9 +139,9 @@
r.tel :_(r.tel leaf/"+ {(trip auc)}") r.tel :_(r.tel leaf/"+ {(trip auc)}")
mow mow
;: welp ;: welp
(spam tel)
[ost %give %nice ~]~
(start-shell our.hid imp.hid ost you pax) (start-shell our.hid imp.hid ost you pax)
[ost %give %nice ~]~
(spam tel)
mow mow
== ==
== ==

View File

@ -16,7 +16,7 @@
%earl (bex 32) %earl (bex 32)
== ==
:- %tang :- %tang
|- ^- (list tank) |- ^- tang
?: ?=(0 n) ~ ?: ?=(0 n) ~
=+ tic=/(scot %p our.hid)/tick/(scot %da lat.hid)/(scot %p her) =+ tic=/(scot %p our.hid)/tick/(scot %da lat.hid)/(scot %p her)
:- leaf/"{<her>}: {<(,@p .^(%a tic))>}" :- leaf/"{<her>}: {<(,@p .^(%a tic))>}"

View File

@ -14,7 +14,7 @@
=+ len=(lent pax) =+ len=(lent pax)
=+ rend=?^(fla dank:ut |=(a=path (dank:ut (slag len a)))) =+ rend=?^(fla dank:ut |=(a=path (dank:ut (slag len a))))
:- %tang :- %tang
|- ^- (list tank) |- ^- tang
=+ ark=;;(arch .^(cy/pax)) =+ ark=;;(arch .^(cy/pax))
=- ?~ q.ark - =- ?~ q.ark -
[(rend pax) -] [(rend pax) -]

View File

@ -11,8 +11,8 @@
++ pock--args ++ pock--args
%+ args-into-gate . %+ args-into-gate .
|= a=vase |= a=vase
:- %tang %- flop :- %tang
|- ^- (list tank) |- ^- tang
=+ nex=(slew 3 a) =+ nex=(slew 3 a)
?~ nex ~ ?~ nex ~
[(skol p:(slot 2 a)) $(a u.nex)] [(skol p:(slot 2 a)) $(a u.nex)]

View File

@ -12,5 +12,5 @@
%+ gate-bang %+ gate-bang
|= [syd=@tas her=@p sud=@tas ~] |= [syd=@tas her=@p sud=@tas ~]
[%c %plug our.hid syd her sud] [%c %plug our.hid syd her sud]
(args-into-gate . ,_[%txt 'unsynced']) (print . "unsynced")
-- --

View File

@ -26,22 +26,17 @@
|= [tex=tape ~] |= [tex=tape ~]
=+ mez=(crip "{<our.hid>}: {tex}") =+ mez=(crip "{<our.hid>}: {tex}")
[%a %want [our.hid (sein our.hid)] /q/ye mez] [%a %want [our.hid (sein our.hid)] /q/ye mez]
%+ add-resp [%give %nice ~] (add-nice ,_`.)
,_`.
:: ::
++ poke-txt ++ poke-txt
%+ add-resp [%give %nice ~]
%+ gate-bang |=(cor=@t [%d %flog `flog`[%text "> {(trip cor)}"]]) %+ gate-bang |=(cor=@t [%d %flog `flog`[%text "> {(trip cor)}"]])
,_`. (add-nice ,_`.)
:: ::
++ pour ++ pour
|= [ost=bone pax=path sih=sign] |= [ost=bone pax=path sih=sign]
?> ?=([%bang ~] pax) ?> ?=([%bang ~] pax)
%. +< %. +<
%- add-exit =+ ack=?+(q.sih "failed" %good "recieved")
%^ add-output +>.$ (add-exit (print +>.$ "ye {ack}"))
=+ ack=?+(q.sih "failed" %good "recieved")
rush/tang/[leaf/"ye {ack}"]~
,_`+>.$
:: ::
-- --

View File

@ -74,6 +74,10 @@
|* [ost=bone * arg=_+<.gat] |* [ost=bone * arg=_+<.gat]
((add-output con (gat arg) ref) +<) ((add-output con (gat arg) ref) +<)
:: ::
++ print
|* [con=[* [hide *] *] tap=tape]
(add-output con [%rush %tang [%leaf tap] ~] ,_[~ con])
::
++ verify :: type-check with context and move ++ verify :: type-check with context and move
|* [con=^ mof=[@ *]] |* [con=^ mof=[@ *]]
|* ref=_,[(list ,_mof) _con] |* ref=_,[(list ,_mof) _con]

View File

@ -1,3 +1,3 @@
/=main=/try/ /=try=/
This is the try desk. Feel free to try out whatever you want here. This is the try desk. Feel free to try out whatever you want here.