khan: name $cast type

This commit is contained in:
Jōshin 2022-02-13 21:13:48 -06:00
parent 044e9015af
commit 6c443191a7
No known key found for this signature in database
GPG Key ID: A8BE5A9A521639D0
2 changed files with 3 additions and 2 deletions

View File

@ -2106,13 +2106,14 @@
$% $>(%born vane-task) :: new unix process
[%done ~] :: socket closed
[%fard p=(fyrd vase)] :: in-arvo thread
[%fyrd p=(fyrd (pair mark (cask)))] :: external thread
[%fyrd p=(fyrd cast)] :: external thread
$>(%trim vane-task) :: trim state
$>(%vega vane-task) :: report upgrade
== ::
:: ::
++ avow |$ [a] (each a goof) :: $fyrd result
+$ bear $@(desk beak) :: partial $beak
+$ cast (pair mark (cask)) :: marked input/output
++ fyrd |$ [a] [=bear name=term args=a] :: external thread
-- ::khan
::

View File

@ -16,7 +16,7 @@
call-args=[duct=~[/initial-born-duct] ~ [%born ~]]
==
=/ results-0 (expect-eq !>(~) !>(born-moves))
=/ fyrd=(fyrd:khan (pair mark (cask))) [%base %nonexistent %noun %noun ~]
=/ fyrd=(fyrd:khan cast:khan) [%base %nonexistent %noun %noun ~]
=/ now=@da (add ~1111.1.1 ~s1)
=^ start-moves khan-gate
%- khan-call :*