better type-checking

This commit is contained in:
Anton Dyudin 2016-04-07 17:44:43 -07:00
parent 97c200bf43
commit d90b71dde9
2 changed files with 8 additions and 5 deletions

View File

@ -189,6 +189,7 @@
++ standard ++ standard
|* {done/* save/$-(token *)} :: save/$-(token _done) |* {done/* save/$-(token *)} :: save/$-(token _done)
|% |%
++ save ^-($-(token _done) ^save) :: shadow(type canary)
++ core-move $^({sec-move _done} sec-move) :: stateful ++ core-move $^({sec-move _done} sec-move) :: stateful
:: ::
:: use token to sign authorization header. expects: :: use token to sign authorization header. expects:

View File

@ -58,6 +58,8 @@
:: ::
++ auth-url ++ auth-url
|= {scopes/(list @t) url/$@(@t purl)} ^- purl |= {scopes/(list @t) url/$@(@t purl)} ^- purl
~& [%oauth-warning "Make sure this urbit ".
"is running on {(earn our-host `~ ~)}"]
%+ add-query:interpolate url %+ add-query:interpolate url
%- quay:hep-to-cab %- quay:hep-to-cab
:~ state+?.(state-usr '' (pack usr /'')) :~ state+?.(state-usr '' (pack usr /''))
@ -68,8 +70,6 @@
:: ::
++ our-host .^(hart %e /(scot %p our)/host/fake) ++ our-host .^(hart %e /(scot %p our)/host/fake)
++ redirect-uri ++ redirect-uri
~& [%oauth-warning "Make sure this urbit ".
"is running on {(earn our-host `~ ~)}"]
%- crip %- earn %- crip %- earn
%^ interpolate 'https://our-host/~/ac/:domain/:user/in' %^ interpolate 'https://our-host/~/ac/:domain/:user/in'
`our-host `our-host
@ -132,8 +132,9 @@
-- --
:: ::
++ standard ++ standard
|* {done/* save/$-(token *)} :: save/$-(token _done) |* {done/* save/$-(token *)}
|% |%
++ save ^-($-(token _done) ^save) :: shadow(type canary)
++ core-move $^({sec-move _done} sec-move) :: stateful ++ core-move $^({sec-move _done} sec-move) :: stateful
:: ::
++ out-add-query-param ++ out-add-query-param
@ -165,9 +166,10 @@
-- --
:: ::
++ standard-refreshing ++ standard-refreshing
|* {done/* ref/refresh save/$-({token refresh} *)} :: $-(both-tokens _done) |* {done/* ref/refresh save/$-({token refresh} *)}
=+ s=(standard done |=(tok/token (save tok ref))) =+ s=(standard done |=(tok/token (save tok ref)))
|% |%
++ save ^-($-(both-tokens _done) ^save) :: shadow(type canary)
++ core-move $^({sec-move _done} sec-move) :: stateful ++ core-move $^({sec-move _done} sec-move) :: stateful
:: ::
:: See ++out-add-query-param:standard :: See ++out-add-query-param:standard