gall: use type spear inline

This commit is contained in:
Jared Tobin 2019-08-15 09:22:32 -07:00
parent 0cab280e70
commit f2c0cfd045
No known key found for this signature in database
GPG Key ID: 0E4647D58F8A69E4

View File

@ -368,13 +368,12 @@
|= =vase
^- ?
::
=/ inferred -:!>(*bowl)
=/ maybe-vase (slew 12 vase)
::
?~ maybe-vase
%.n
=/ =type p.u.maybe-vase
(~(nest ut type) %.n inferred)
(~(nest ut type) %.n -:!>(*bowl))
::
:: +mo-receive-core: receives an app core built by %ford.
::