Merge pull request #5227 from urbit/m/righteous-paths

hoon: correctly parse empty path
This commit is contained in:
fang 2021-10-14 23:12:29 +02:00 committed by GitHub
commit bbd044185c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5962,7 +5962,14 @@
++ spat |=(pax=path (crip (spud pax))) :: render path to cord
++ spud |=(pax=path ~(ram re (smyt pax))) :: render path to tape
++ stab |=(zep=@t `path`(rash zep stap)) :: parse cord to path
++ stap ;~(pfix fas (more fas urs:ab)) :: path parser
++ stap :: path parser
%+ sear
|= p=path
^- (unit path)
?: ?=([~ ~] p) `~
?. =(~ (rear p)) `p
~
;~(pfix fas (most fas urs:ab))
::
:::: 4n: virtualization
::