Merge pull request #1177 from urbit/fix-ho-mold-bunts

fix higher-order mold parameter-bunts
This commit is contained in:
Jared Tobin 2019-05-27 13:06:48 +08:00 committed by GitHub
commit 32d62baa52
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -321,7 +321,7 @@
:: input if it fits or a default value if it doesn't. :: input if it fits or a default value if it doesn't.
:: ::
:: examples: * @ud ,[p=time q=?(%a %b)] :: examples: * @ud ,[p=time q=?(%a %b)]
_|~(* +<) $~(* $-(* *))
:: ::
+* pair [head tail] +* pair [head tail]
:: dual tuple :: dual tuple
@ -16731,21 +16731,19 @@
%+ cook %+ cook
|= [b=term c=(list term) e=spec] |= [b=term c=(list term) e=spec]
^- [term hoon] ^- [term hoon]
:* b :- b
:+ %brtr :+ %brtr
:- %bscl :- %bscl
=- ?>(?=(^ -) -) =- ?>(?=(^ -) -)
:: for each .term in .c, produce $=(term $~(* $-(* *)))
:: ie {term}=mold
::
%+ turn c %+ turn c
|= =term |= =term
^- spec ^- spec
:+ %bsts =/ tar [%base %noun]
term [%bsts term [%bssg tar [%bshp tar tar]]]
[%bshp [%base %noun] [%base %noun]] [%ktcl [%made [b c] e]]
:- %ktcl
:+ %made
[b c]
e
==
;~ pfix (jest '+*') ;~ pfix (jest '+*')
;~ plug ;~ plug
;~(pfix gap sym) ;~(pfix gap sym)