fix "span" references in ford
%+ knee *^horn |. ~+
;~ pfix fas
;~ pose
- (stag %fssg ;~(pfix sig twig:read)) :: /~ twig by hand
- (stag %fsbc ;~(pfix buc twig:read)) :: /$ extra arguments
+ (stag %fssg ;~(pfix sig hoon:read)) :: /~ hoon by hand
+ (stag %fsbc ;~(pfix buc hoon:read)) :: /$ extra arguments
(stag %fsbr ;~(pfix bar alts:read)) :: /| or (options)
(stag %fshx ;~(pfix hax horn:read)) :: /# insert dephash
(stag %fsts ;~(pfix tis name:read)) :: /= apply face
;~(pose wid tal)
::
++ read
- |% ++ twig
+ |% ++ hoon
%+ rail
(ifix [sel ser] (stag %cltr (most ace wide:vez)))
;~(pfix gap tall:vez)
?~ von [p=cof q=[%1 [%c %w bem ~] ~ ~]]
(fine cof bem(r [%ud ((hard @) +.+:(need u.von))]))
::
- ++ infer-product-span
- |= {cof/cafe typ/span gen/hoon}
+ ++ infer-product-type
+ |= {cof/cafe typ/type gen/hoon}
%+ (cowl cof) (mule |.((~(play ut typ) gen)))
|=(ref/type ref)
::
::
++ mint-cached
~/ %mint-cached
- |= {cof/cafe sut/span gen/hoon}
- ^- (bolt (pair span nock))
+ |= {cof/cafe sut/type gen/hoon}
+ ^- (bolt (pair type nock))
%+ (clef %slim) (fine cof sut gen)
|= {cof/cafe sut/type gen/hoon}
=+ puz=(mule |.((~(mint ut sut) [%noun gen])))
|= {cof/cafe vax/vase gen/hoon}
^- (bolt vase)
%+ cope (mint-cached cof p.vax gen)
- |= {cof/cafe typ/span fol/nock}
+ |= {cof/cafe typ/type fol/nock}
%+ (coup cof) (mock [q.vax fol] (sloy syve))
|=(val/* `vase`[typ val])
::
