Both stricter and more lenent path parsing

This commit is contained in:
Anton Dyudin 2014-10-13 19:29:11 -07:00 committed by Anton Dyudin
parent 42df271773
commit 0e232b43bd

View File

@ -100,7 +100,9 @@
:: ::
++ expg (rais ;~(pfix ace expr(tol %1)) ;~(pfix gap expr)) ++ expg (rais ;~(pfix ace expr(tol %1)) ;~(pfix gap expr))
++ expr (rais [wide tall]:(vang & pax)) ++ expr (rais [wide tall]:(vang & pax))
++ loca (sear plex rood):(vang & pax) ++ loca %+ sear ;~(biff plex:(vang & pax) vabe) :: path in %clay
[;~(pose rood ;~(simu cen scat))]:(vang & pax)
++ vabe |=(a=path ?~((tome a) ~ (some a))) :: check valid beam
++ args :: task arguments ++ args :: task arguments
%^ rail %^ rail
(ifix sel^ser (most ace expr)) (ifix sel^ser (most ace expr))
@ -209,8 +211,9 @@
:: ::
?(%ins %mut %del) ?(%ins %mut %del)
:- +>.$ :- +>.$
=- :- palm/[" " ~ ~ ~]^~[leaf/msg (dank:ut pax)] =+ paf=[.(&3 '=')]:?+(-.com p.com %del p.com)
(turn (drop tor) |=(a=toro [ost %pass writ/pax %c %info our.hid a])) =- :- palm/[" " ~ ~ ~]^~[leaf/msg (dank:ut paf)]
(turn (drop tor) |=(a=toro [ost %pass writ/paf %c %info our.hid a]))
^- [msg=tape tor=(unit toro)] ^- [msg=tape tor=(unit toro)]
|- |-
?- -.com ?- -.com