Fix mint-vain error in wutlus
wutlus was incorrectly listed as allowing a default with a constrained sample e.g.:
|= vas=?(%a %b) ?+(vas 240 %a 20 %b 42)
Corrected to have a @tas for type of vas.
commit21d41434477e125f6ac4c056266033951fdb79cf
authorrabsef-bicrym <52549148+rabsef-bicrym@users.noreply.github.com>
dateThu 20 Aug 2020, 07:44 (6 years ago)
parentcb7e7d2
reference/hoon-expressions/rune/wut.md+1−1
@@ -366,7 +366,7 @@ If there is a case that is never taken you'll get a `mint-vain` error.
366366##### Examples
367367
368368```
369−~zod:dojo> =cor |= vat=?(%a %b)
369+~zod:dojo> =cor |= vat=@tas
370370 ?+ vat 240
371371 %a 20
372372 %b 42