c30a4fd · luau · git.iko.soy

git.iko.soy/luau

on master help sign in

Refactor

c30a4fdiko2 years ago

zod/luau/lib/lua.hoon+1−959

compare with master

unifiedsplit

@@ -1,960 +1,2 @@

1−/+ *interlist

2|%

1|%

3−:: Name

2+--

4−::

5−+$ name @t

6−:: AST

7−::

8−+$ ast

9− $%

10− [%blok blok]

11− ==

12−++ print

13− |= [=ast]

14− ^- tape

15− ?- -.ast

16− %blok (print-blok +.ast)

17− ==

18−++ apex

19− %^ tnee %apex ast

20− %+ ifix [ws ws]

21− ;~ pose

22− (cook |=(=blok [%blok blok]) parse-blok)

23− ==

24−:: Expr

25−::

26−+$ expr

27− $%

28− [%string string]

29− [%binop expr binop expr]

30− [%prefix-expr prefix-expr]

31− [%num numeral]

32− [%table table]

33− [%true ~]

34− [%false ~]

35− [%nil ~]

36− ==

37−:: The expressions that are separated by binary operators

38−::

39−++ parse-atomic-expr

40− %^ tnee %parse-atomic-expr expr

41− ;~ pose

42− (cold [%nil ~] (jest 'nil'))

43− ::

44− (cold [%true ~] (jest 'true'))

45− ::

46− (cold [%false ~] (jest 'false'))

47− ::

48− %+ cook

49− |=(=numeral [%num numeral])

50− parse-numeral

51− ::

52− %+ cook

53− |=(=prefix-expr [%prefix-expr prefix-expr])

54− (knee *prefix-expr |.(parse-prefix-expr))

55− ::

56− %+ cook

57− |=(=table [%table table])

58− parse-table

59− %+ cook

60− |=(=string [%string string])

61− parse-string

62− ==

63−:: Parse expressions separated by binary operators

64−::

65−++ parse-expr-list

66− %^ tnee %parse-expr-list (interlist binop expr)

67− %+ parse-interlist (ifix [ws ws] parse-binop) parse-atomic-expr

68−:: TODO: This is mock and should take operator priority into account.

69−::

70−++ process-expr-list

71− |= l=(interlist binop expr)

72− ^- expr

73− ?- -.l

74− %single val.l

75− %double [%binop val.l sep.l (process-expr-list tail.l)]

76− ==

77−++ parse-expr

78− %^ tnee %parse-expr expr

79− %+ cook process-expr-list parse-expr-list

80−++ parse-parened-expr

81− %+ cook

82− |=([=expr] [%expr expr])

83− (ifix [(just '(') (just ')')] (knee *expr |.(parse-expr)))

84−++ print-expr

85− |= [=expr]

86− ^- tape

87− ?- -.expr

88− %prefix-expr (print-prefix-expr +.expr)

89− %nil "nil"

90− %true "true"

91− %false "false"

92− %binop

93− %- zing

94− :~

95− (print-expr +<.expr)

96− " "

97− (print-binop +>-.expr)

98− " "

99− (print-expr +>+.expr)

100− ==

101− %num (print-numeral +.expr)

102− %table (print-table +.expr)

103− %string (print-string +.expr)

104− ==

105−:: string

106−::

107−+$ string @t

108−++ print-string

109− |= =string

110− %- zing

111− :~

112− "\""

113− (trip string)

114− "\""

115− ==

116−++ parse-string

117− %^ tnee %parse-string string

118− =>

119− |%

120− ++ parse-string

121− |= quot=char

122− =/ quot (just quot)

123− %+ cook

124− |=([* =tape *] (crip tape))

125− ;~ plug

126− quot

127− (star ;~(less quot next))

128− quot

129− ==

130− --

131− ;~ pose

132− (parse-string '"')

133− (parse-string '\'')

134− ==

135−:: table

136−::

137−+$ table field-list

138−++ print-table

139− |= =table

140− ^- tape

141− %- zing

142− :~

143− "\{"

144− (print-field-list table)

145− "}"

146− ==

147−++ parse-table

148− %^ tnee %parse-table table

149− %+ cook

150− |=([* =table *] table)

151− ;~ (glue ws)

152− (just '{')

153− parse-field-list

154− (just '}')

155− ==

156−:: field-list

157−::

158−+$ field-list (list field)

159−++ print-field-list

160− |= =field-list

161− ^- tape

162− %- commaed

163− %+ turn field-list print-field

164−++ parse-field-list

165− %^ tnee %parse-field-list field-list

166− =>

167− |%

168− ++ field-sep

169− ;~ pose

170− com

171− mic

172− ==

173− --

174− %+ cook

175− |=([=field-list *] field-list)

176− ;~ (glue ws)

177− (more (ifix [ws ws] field-sep) parse-field)

178− (punt field-sep)

179− ==

180−:: field

181−::

182−+$ field

183− $%

184− [%keyed expr expr]

185− [%unkeyed expr]

186− ==

187−++ print-field

188− |= =field

189− ^- tape

190− ?- -.field

191− %keyed

192− %- zing

193− :~

194− "["

195− (print-expr +<.field)

196− "] = "

197− (print-expr +>.field)

198− ==

199− %unkeyed

200− (print-expr +.field)

201− ==

202−++ parse-field

203− %+ knee *field

204− |.

205− %^ tnee %parse-field field

206− ;~ pose

207− %+ cook

208− |=([* key=expr * * val=expr] [%keyed key val])

209− ;~ (glue ws)

210− (just '[')

211− parse-expr

212− (just ']')

213− tis

214− parse-expr

215− ==

216− ::

217− %+ cook

218− |=([=name * =expr] [%keyed [%string name] expr])

219− ;~ (glue ws)

220− parse-name

221− tis

222− parse-expr

223− ==

224− ::

225− %+ cook

226− |=(=expr [%unkeyed expr])

227− parse-expr

228− ==

229−:: binop

230−::

231−+$ binop

232− $?

233− %add

234− %sub

235− %mul

236− %div

237− %int-div

238− %pow

239− %mod

240− %band

241− %bor

242− %bxor

243− %rshft

244− %lshft

245− %and

246− %or

247− %lt

248− %lteq

249− %eq

250− %gt

251− %gteq

252− %neq

253− %concat

254− ==

255−++ print-binop

256− |= [=binop]

257− ?- binop

258− %add "+"

259− %sub "-"

260− %mul "*"

261− %div "/"

262− %int-div "//"

263− %pow "^"

264− %mod "%"

265− %band "&"

266− %bor "|"

267− %bxor "~"

268− %rshft ">>"

269− %lshft "<<"

270− %and "and"

271− %or "or"

272− %lt "<"

273− %lteq "<="

274− %eq "=="

275− %gt ">"

276− %gteq ">="

277− %neq "~="

278− %concat ".."

279− ==

280−++ parse-binop

281− %^ tnee %parse-binop binop

282− ;~ pose

283− (cold %add (jest '+'))

284− (cold %sub (jest '-'))

285− (cold %mul (jest '*'))

286− (cold %div (jest '/'))

287− (cold %int-div (jest '//'))

288− (cold %pow (jest '^'))

289− (cold %mod (jest '%'))

290− (cold %band (jest '&'))

291− (cold %bor (jest '|'))

292− (cold %bxor (jest '~'))

293− (cold %rshft (jest '>>'))

294− (cold %lshft (jest '<<'))

295− (cold %and (jest 'and'))

296− (cold %or (jest 'or'))

297− (cold %lt (jest '<'))

298− (cold %lteq (jest '<='))

299− (cold %eq (jest '=='))

300− (cold %gt (jest '>'))

301− (cold %gteq (jest '>='))

302− (cold %neq (jest '~='))

303− (cold %concat (jest '..'))

304− ==

305−:: numeral

306−::

307−+$ numeral

308− $%

309− [%int @u]

310− [%float @rd]

311− ==

312−++ parse-numeral

313− %^ tnee %parse-numeral numeral

314− ;~ pose

315− %+ cook

316− |= x=@rd [%float x]

317− ;~ pose

318− parse-float

319− parse-hex-float

320− ==

321− ::

322− %+ cook

323− |= x=@u [%int x]

324− ;~ pose

325− ;~ pfix

326− (just '0')

327− (mask "xX")

328− hex

329− ==

330− ::

331− (bass 10 (plus dit))

332− ==

333− ==

334−++ print-numeral

335− |= [num=numeral]

336− ^- tape

337− ?- -.num

338− %int (show-u +.num)

339− %float (show-float +.num)

340− ==

341−:: exprlist

342−::

343−+$ exprlist (lest expr)

344−++ print-exprlist

345− |= [=exprlist]

346− %- commaed

347− %+ turn exprlist print-expr

348−++ parse-exprlist

349− %^ tnee %parse-exprlist exprlist

350− %+ most (ifix [ws ws] com) parse-expr

351−:: Var

352−::

353−+$ var

354− $%

355− [%dot prefix-expr name]

356− [%indexed prefix-expr expr]

357− [%name name]

358− ==

359−++ print-var

360− |= [=var]

361− ^- tape

362− ?- -.var

363− %name (trip +.var)

364− %indexed

365− %- zing

366− :~

367− (print-prefix-expr +<.var)

368− "["

369− (print-expr +>.var)

370− "]"

371− ==

372− %dot

373− %- zing

374− :~

375− (print-prefix-expr +<.var)

376− "."

377− (trip +>.var)

378− ==

379− ==

380−++ parse-var

381− %^ tnee %parse-var var

382− ;< prefix=prefix-expr bind parse-prefix-expr

383− ?: ?=(%var -.prefix) (easy +.prefix) fail

384−:: varlist

385−::

386−+$ varlist (lest var)

387−++ print-varlist

388− |= [=varlist]

389− %- commaed

390− %+ turn varlist print-var

391−++ parse-varlist

392− %^ tnee %parse-varlist varlist

393− %+ most (ifix [ws ws] com) parse-var

394−:: Prefix Expr

395−::

396−+$ prefix-expr

397− $%

398− [%expr expr]

399− [%call functioncall]

400− [%var var]

401− ==

402−++ parse-prefix-expr

403− %^ tnee %parse-prefix-expr prefix-expr

404− =<

405− ;< prefix=prefix-expr bind

406− ;~ pose

407− %+ cook |=(=name [%var %name name])

408− parse-name

409− ::

410− parse-parened-expr

411− ==

412− (recurse-prefix-var prefix)

413− |%

414− :: Takes a prefix (initially [%var ...]) and applies variable access and function calls.

415− :: This completely sidesteps calling the var parser.

416− ::

417− ++ recurse-prefix-var

418− |= prefix=prefix-expr

419− %+ knee *prefix-expr

420− |.

421− ;~ pose

422− ;< =var bind

423− ;~ pose

424− (parse-access prefix)

425− (parse-dot prefix)

426− ==

427− (recurse-prefix-var [%var var])

428− ::

429− ;< prefix=prefix-expr bind

430− %+ cook |=(=functioncall [%call functioncall])

431− (parse-functioncall-args prefix)

432− (recurse-prefix-var prefix)

433− ::

434− (easy prefix)

435− ==

436− ++ parse-access

437− |= =prefix-expr

438− %+ cook

439− |=([* =expr *] [%indexed prefix-expr expr])

440− ;~ (glue ws)

441− (just '[')

442− parse-expr

443− (just ']')

444− ==

445− ++ parse-dot

446− |= =prefix-expr

447− %+ cook

448− |=([* =name] [%dot prefix-expr name])

449− ;~ plug

450− dot

451− parse-name

452− ==

453− --

454−++ print-prefix-expr

455− |= [=prefix-expr]

456− ?- -.prefix-expr

457− %var (print-var +.prefix-expr)

458− %expr

459− %- zing

460− :~

461− "("

462− (print-expr +.prefix-expr)

463− ")"

464− ==

465− %call (print-functioncall +.prefix-expr)

466− ==

467−:: stat

468−::

469−+$ stat

470− $%

471− [%blok blok]

472− [%asmnt varlist exprlist]

473− [%label label]

474− [%goto label]

475− [%func-call functioncall]

476− [%while cond=expr body=blok]

477− [%repeat body=blok cond=expr]

478− [%if if]

479− [%break ~]

480− [%empty ~]

481− ==

482−++ parse-stat

483− %+ knee *stat

484− |.

485− %^ tnee %parse-stat stat

486− ;~ pose

487− (cold [%empty ~] (just ';'))

488− ::

489− (cold [%break ~] (jest 'break'))

490− ::

491− %+ cook

492− |= [* cond=expr * body=blok *] [%while cond body]

493− ;~ (glue wss)

494− (jest 'while')

495− parse-expr

496− (jest 'do')

497− parse-blok

498− (jest 'end')

499− ==

500− ::

501− %+ cook

502− |= [* body=blok * cond=expr] [%repeat body cond]

503− ;~ (glue wss)

504− (jest 'repeat')

505− parse-blok

506− (jest 'until')

507− parse-expr

508− ==

509− ::

510− %+ cook

511− |= [* =label] [%goto label]

512− ;~ (glue ws)

513− (jest 'goto')

514− parse-name

515− ==

516− ::

517− %+ cook

518− |= =if [%if if]

519− parse-if

520− ::

521− %+ cook

522− |= =label [%label label]

523− parse-label

524− ::

525− %+ cook

526− |=([* =blok *] [%blok blok])

527− ;~ (glue wss)

528− (jest 'do')

529− (knee *blok |.(parse-blok))

530− (jest 'end')

531− ==

532− ::

533− %+ cook

534− |=([=varlist * =exprlist] [%asmnt varlist exprlist])

535− ;~ (glue ws)

536− parse-varlist

537− (just '=')

538− parse-exprlist

539− ==

540− ::

541− %+ cook

542− |= =functioncall [%func-call functioncall]

543− parse-functioncall

544− ==

545−++ print-stat

546− |= [=stat]

547− ^- tape

548− ?- -.stat

549− %empty ";"

550− %blok (print-blok +.stat)

551− %asmnt

552− %- zing

553− :~

554− (commaed (turn +<.stat print-var))

555− "="

556− (commaed (turn +>.stat print-expr))

557− ==

558− %label (print-label +.stat)

559− %func-call (print-functioncall +.stat)

560− %break "break"

561− %goto

562− %- zing

563− :~

564− "goto "

565− (trip +.stat)

566− ==

567− %while

568− %- zing

569− :~

570− "while "

571− (print-expr cond.stat)

572− " do\0a"

573− (print-blok body.stat)

574− ==

575− %repeat

576− %- zing

577− :~

578− "repeat\0a"

579− (print-blok body.stat)

580− "until "

581− (print-expr cond.stat)

582− ==

583− %if (print-if +.stat)

584− ==

585−:: if

586−::

587−+$ if [cond=expr body=blok elsa=(list [cond=expr body=blok]) else=(unit blok)]

588−++ print-if

589− |= =if

590− ^- tape

591− %- zing

592− :~

593− "if "

594− (print-expr cond.if)

595− " then\0a"

596− (print-blok body.if)

597− ::

598− ^- tape

599− %- zing

600− %+ turn elsa.if

601− |= [cond=expr body=blok]

602− %- zing

603− :~

604− "\0aelseif"

605− (print-expr cond)

606− " then\0a"

607− (print-blok body)

608− ==

609− ::

610− ?~ else.if ""

611− ^- tape

612− %- zing

613− :~

614− "\0aelse\0a"

615− (print-blok u.else.if)

616− ==

617− ::

618− "\0aend"

619− ==

620−++ parse-if

621− %+ knee *if

622− |.

623− %^ tnee %parse-if if

624− %+ cook

625− |= [* cond=expr * body=blok elsa=(list [cond=expr body=blok]) else=(unit blok) *]

626− [cond body elsa else]

627− ;~ (glue wss)

628− (jest 'if')

629− parse-expr

630− (jest 'then')

631− parse-blok

632− ::

633− %- star

634− %+ cook

635− |= [* cond=expr * body=blok] [cond body]

636− ;~ (glue wss)

637− (jest 'elseif')

638− parse-expr

639− (jest 'then')

640− parse-blok

641− ==

642− ::

643− %- punt

644− %+ cook

645− |= [* =blok] blok

646− ;~ (glue wss)

647− (jest 'else')

648− parse-blok

649− ==

650− (jest 'end')

651− ==

652−:: functioncall

653−::

654−+$ functioncall

655− $%

656− [%call func=prefix-expr =args]

657− [%method obj=prefix-expr method=name =args]

658− ==

659−++ print-functioncall

660− |= call=functioncall

661− ^- tape

662− ?- -.call

663− %call

664− %- zing

665− :~

666− (print-prefix-expr func.call)

667− (print-args args.call)

668− ==

669− %method

670− %- zing

671− :~

672− (print-prefix-expr obj.call)

673− ":"

674− (trip method.call)

675− (print-args args.call)

676− ==

677− ==

678−++ parse-functioncall

679− %^ tnee %parse-functioncall functioncall

680− ;< prefix=prefix-expr bind parse-prefix-expr

681− ;~ pose

682− (parse-functioncall-args prefix)

683− ::

684− ?: ?=(%call -.prefix) (easy +.prefix) fail

685− ==

686−++ parse-functioncall-args

687− |= =prefix-expr

688− %^ tnee %parse-functioncall-args functioncall

689− ;~ pfix

690− ws

691− ;~ pose

692− %+ cook

693− |= =args [%call prefix-expr args]

694− parse-args

695− ::

696− %+ cook

697− |= [* method=name =args]

698− [%method prefix-expr method args]

699− ;~ (glue ws)

700− (just ':')

701− parse-name

702− parse-args

703− ==

704− ==

705− ==

706−:: args

707−::

708−+$ args exprlist

709−++ print-args

710− |= =args

711− ^- tape

712− %- zing

713− :~

714− "("

715− (print-exprlist args)

716− ")"

717− ==

718−++ parse-args

719− %^ tnee %parse-args args

720− ;~ pose

721− %+ cook

722− |= [* =exprlist *] exprlist

723− ;~ (glue ws)

724− (just '(')

725− parse-exprlist

726− (just ')')

727− ==

728− ::

729− %+ cook

730− |= =table ~[[%table table]]

731− parse-table

732− ::

733− %+ cook

734− |= =string ~[[%string string]]

735− parse-string

736− ==

737−::

738−:: label

739−::

740−+$ label name

741−++ print-label

742− |= =label

743− ^- tape

744− %- zing

745− :~

746− "::"

747− (trip label)

748− "::"

749− ==

750−++ parse-label

751− %^ tnee %parse-label label

752− %+ cook

753− |= [* =label *] label

754− ;~ (glue ws)

755− (jest '::')

756− parse-name

757− (jest '::')

758− ==

759−:: Blok

760−::

761−+$ blok [body=(lest stat) ret=(unit ret)]

762−++ print-blok

763− |= [=blok]

764− ^- tape

765− %- zing

766− %+ join "\0a"

767− %+ weld

768− (turn body.blok print-stat)

769− ?~ ret.blok ~

770− ~[(print-ret u.ret.blok)]

771−++ parse-blok

772− %^ tnee %parse-blok blok

773− ;~ plug

774− (most ws parse-stat)

775− ::

776− %- punt

777− ;~ pfix

778− wss

779− parse-ret

780− ==

781− ==

782−:: ret

783−::

784−+$ ret exprlist

785−++ print-ret

786− |= =ret

787− ^- tape

788− %- zing

789− :~

790− "return "

791− (print-exprlist ret)

792− ==

793−++ parse-ret

794− %^ tnee %parse-ret ret

795− %+ cook

796− |= [[* =exprlist] *] exprlist

797− ;~ plug

798− ;~ (glue wss)

799− (jest 'return')

800− parse-exprlist

801− ==

802− (punt (just ';'))

803− ==

804−:: Helpers

805−::

806−++ commaed

807− |= [l=(list tape)]

808− ^- tape

809− %- zing

810− %+ join "," l

811−++ parse-name

812− =>

813− |%

814− ++ name-char ;~(pose name-fst-char dit:ab)

815− ++ name-fst-char ;~(pose alf:ab (just '_'))

816− --

817− %+ cook |= =tape (crip tape)

818− ;~(less keyword ;~(plug name-fst-char (star name-char)))

819−++ show-s

820− |=(s=@s `tape`[?:((syn:si s) %$ '-') (slag 2 (scow %ui (abs:si s)))])

821−++ show-u

822− |=(u=@u `tape`(slag 2 (scow %ui u)))

823−++ bind

824− |* =mold

825− |* [prev=rule cont=$-(mold rule)]

826− |= =nail

827− =/ prev-edge (prev nail)

828− ?~ q.prev-edge prev-edge

829− ((cont p.u.q.prev-edge) q.u.q.prev-edge)

830−++ w

831− ;~ pose

832− gah

833− (just '\09')

834− ==

835−++ ws

836− %+ cold ~

837− %- star w

838−++ wss

839− %+ cold ~

840− %- plus w

841−++ parse-float

842− %^ tnee %parse-float @rd

843− %+ cook ryld

844− %+ cook royl-cell:so

845− %+ sear

846− |= [int=@ frac=(unit [@ @]) exp=(unit [exp-sign=? exp=@])]

847− ?: ?=([~ ~] [frac exp]) ~

848− %- some

849− :*

850− %d

851− &

852− int

853− (fall frac [0 0])

854− (fall exp [& 0])

855− ==

856− =/ moo

857− |= a=tape

858− :- (lent a)

859− (scan a (bass 10 (plus sid:ab)))

860− ;~ plug

861− ;~ plug

862− dim:ag

863− ::

864− (punt ;~(pfix dot (cook moo (plus (shim '0' '9')))))

865− ::

866− %- punt

867− ;~ pfix

868− (mask "eE")

869− ;~(plug ;~(pose (cold | hep) (easy &)) dim:ag)

870− ==

871− ==

872− ==

873−++ parse-hex-float

874− %^ tnee %parse-hex-float @rd

875− =<

876− %+ sear

877− |= [* * int=tape frac=(unit tape) exp=(unit [exp-sign=? exp=@])]

878− ?: ?=([~ ~] [frac exp]) ~

879− %- some

880− =/ frac (fall frac "")

881− =/ whole=@rd (sun:rd (scan (weld int frac) hex))

882− =/ frac-exp=@rd (sun:rd (pow 16 (lent frac)))

883− =/ without-exp (div:rd whole frac-exp)

884− ?~ exp without-exp

885− =/ exp-exp (sun:rd (pow 2 exp.u.exp))

886− ?: exp-sign.u.exp

887− (mul:rd without-exp exp-exp)

888− (div:rd without-exp exp-exp)

889− ;~ plug

890− (just '0')

891− ::

892− (mask "xX")

893− ::

894− (plus hex-digit)

895− ::

896− %- punt

897− ;~ pfix

898− dot

899− (plus hex-digit)

900− ==

901− ::

902− %- punt

903− ;~ pfix

904− (mask "pP")

905− ;~(plug ;~(pose (cold | hep) (cold & lus) (easy &)) dim:ag)

906− ==

907− ==

908− |%

909− ++ hex-digit

910− %^ tnee %hex-digit char

911− ;~ pose

912− (shim '0' '9')

913− (shim 'a' 'f')

914− (shim 'A' 'F')

915− ==

916− --

917−++ show-float

918− |= x=@rd

919− ^- tape

920− %- r-co:co

921− %- rlyd

922− x

923−++ keyword

924− %+ cold ~

925− ;~ pose

926− (jest 'and')

927− (jest 'break')

928− (jest 'do')

929− (jest 'else')

930− (jest 'elseif')

931− (jest 'end')

932− (jest 'false')

933− (jest 'for')

934− (jest 'function')

935− (jest 'goto')

936− (jest 'if')

937− (jest 'in')

938− (jest 'local')

939− (jest 'nil')

940− (jest 'not')

941− (jest 'or')

942− (jest 'repeat')

943− (jest 'return')

944− (jest 'then')

945− (jest 'true')

946− (jest 'until')

947− (jest 'while')

948− ==

949−++ tnee

950− |* [=term gar=mold sef=rule]

951− |= tub=nail

952− ^- (like gar)

953− =/ trace &

954− ~? trace [term q.tub]

955− =/ res (sef tub)

956− ?. trace res

957− ?~ q.res

958− ~& [term %nope] res

959− ~& > [term %ok] res

960− --

zod/luau/lib/lua/parser.hoonnew file+551

@@ -0,0 +1,551 @@

1+/- *lua

2+/+ *interlist

3+=<

4+apex

5+|%

6+++ apex

7+ %^ tnee %apex ast

8+ %+ ifix [ws ws]

9+ ;~ pose

10+ (cook |=(=blok [%blok blok]) parse-blok)

11+ ==

12+:: The expressions that are separated by binary operators

13+::

14+++ parse-atomic-expr

15+ %^ tnee %parse-atomic-expr expr

16+ ;~ pose

17+ (cold [%nil ~] (jest 'nil'))

18+ ::

19+ (cold [%true ~] (jest 'true'))

20+ ::

21+ (cold [%false ~] (jest 'false'))

22+ ::

23+ %+ cook

24+ |=(=numeral [%num numeral])

25+ parse-numeral

26+ ::

27+ %+ cook

28+ |=(=prefix-expr [%prefix-expr prefix-expr])

29+ (knee *prefix-expr |.(parse-prefix-expr))

30+ ::

31+ %+ cook

32+ |=(=table [%table table])

33+ parse-table

34+ %+ cook

35+ |=(=string [%string string])

36+ parse-string

37+ ==

38+:: Parse expressions separated by binary operators

39+::

40+++ parse-expr-list

41+ %^ tnee %parse-expr-list (interlist binop expr)

42+ %+ parse-interlist (ifix [ws ws] parse-binop) parse-atomic-expr

43+:: TODO: This is mock and should take operator priority into account.

44+::

45+++ process-expr-list

46+ |= l=(interlist binop expr)

47+ ^- expr

48+ ?- -.l

49+ %single val.l

50+ %double [%binop val.l sep.l (process-expr-list tail.l)]

51+ ==

52+++ parse-expr

53+ %^ tnee %parse-expr expr

54+ %+ cook process-expr-list parse-expr-list

55+++ parse-parened-expr

56+ %+ cook

57+ |=([=expr] [%expr expr])

58+ (ifix [(just '(') (just ')')] (knee *expr |.(parse-expr)))

59+++ parse-string

60+ %^ tnee %parse-string string

61+ =>

62+ |%

63+ ++ parse-string

64+ |= quot=char

65+ =/ quot (just quot)

66+ %+ cook

67+ |=([* =tape *] (crip tape))

68+ ;~ plug

69+ quot

70+ (star ;~(less quot next))

71+ quot

72+ ==

73+ --

74+ ;~ pose

75+ (parse-string '"')

76+ (parse-string '\'')

77+ ==

78+++ parse-table

79+ %^ tnee %parse-table table

80+ %+ cook

81+ |=([* =table *] table)

82+ ;~ (glue ws)

83+ (just '{')

84+ parse-field-list

85+ (just '}')

86+ ==

87+++ parse-field-list

88+ %^ tnee %parse-field-list field-list

89+ =>

90+ |%

91+ ++ field-sep

92+ ;~ pose

93+ com

94+ mic

95+ ==

96+ --

97+ %+ cook

98+ |=([=field-list *] field-list)

99+ ;~ (glue ws)

100+ (more (ifix [ws ws] field-sep) parse-field)

101+ (punt field-sep)

102+ ==

103+++ parse-field

104+ %+ knee *field

105+ |.

106+ %^ tnee %parse-field field

107+ ;~ pose

108+ %+ cook

109+ |=([* key=expr * * val=expr] [%keyed key val])

110+ ;~ (glue ws)

111+ (just '[')

112+ parse-expr

113+ (just ']')

114+ tis

115+ parse-expr

116+ ==

117+ ::

118+ %+ cook

119+ |=([=name * =expr] [%keyed [%string name] expr])

120+ ;~ (glue ws)

121+ parse-name

122+ tis

123+ parse-expr

124+ ==

125+ ::

126+ %+ cook

127+ |=(=expr [%unkeyed expr])

128+ parse-expr

129+ ==

130+++ parse-binop

131+ %^ tnee %parse-binop binop

132+ ;~ pose

133+ (cold %add (jest '+'))

134+ (cold %sub (jest '-'))

135+ (cold %mul (jest '*'))

136+ (cold %div (jest '/'))

137+ (cold %int-div (jest '//'))

138+ (cold %pow (jest '^'))

139+ (cold %mod (jest '%'))

140+ (cold %band (jest '&'))

141+ (cold %bor (jest '|'))

142+ (cold %bxor (jest '~'))

143+ (cold %rshft (jest '>>'))

144+ (cold %lshft (jest '<<'))

145+ (cold %and (jest 'and'))

146+ (cold %or (jest 'or'))

147+ (cold %lt (jest '<'))

148+ (cold %lteq (jest '<='))

149+ (cold %eq (jest '=='))

150+ (cold %gt (jest '>'))

151+ (cold %gteq (jest '>='))

152+ (cold %neq (jest '~='))

153+ (cold %concat (jest '..'))

154+ ==

155+++ parse-numeral

156+ %^ tnee %parse-numeral numeral

157+ ;~ pose

158+ %+ cook

159+ |= x=@rd [%float x]

160+ ;~ pose

161+ parse-float

162+ parse-hex-float

163+ ==

164+ ::

165+ %+ cook

166+ |= x=@u [%int x]

167+ ;~ pose

168+ ;~ pfix

169+ (just '0')

170+ (mask "xX")

171+ hex

172+ ==

173+ ::

174+ (bass 10 (plus dit))

175+ ==

176+ ==

177+++ parse-exprlist

178+ %^ tnee %parse-exprlist exprlist

179+ %+ most (ifix [ws ws] com) parse-expr

180+++ parse-var

181+ %^ tnee %parse-var var

182+ ;< prefix=prefix-expr bind parse-prefix-expr

183+ ?: ?=(%var -.prefix) (easy +.prefix) fail

184+++ parse-varlist

185+ %^ tnee %parse-varlist varlist

186+ %+ most (ifix [ws ws] com) parse-var

187+++ parse-prefix-expr

188+ %^ tnee %parse-prefix-expr prefix-expr

189+ =<

190+ ;< prefix=prefix-expr bind

191+ ;~ pose

192+ %+ cook |=(=name [%var %name name])

193+ parse-name

194+ ::

195+ parse-parened-expr

196+ ==

197+ (recurse-prefix-var prefix)

198+ |%

199+ :: Takes a prefix (initially [%var ...]) and applies variable access and function calls.

200+ :: This completely sidesteps calling the var parser.

201+ ::

202+ ++ recurse-prefix-var

203+ |= prefix=prefix-expr

204+ %+ knee *prefix-expr

205+ |.

206+ ;~ pose

207+ ;< =var bind

208+ ;~ pose

209+ (parse-access prefix)

210+ (parse-dot prefix)

211+ ==

212+ (recurse-prefix-var [%var var])

213+ ::

214+ ;< prefix=prefix-expr bind

215+ %+ cook |=(=functioncall [%call functioncall])

216+ (parse-functioncall-args prefix)

217+ (recurse-prefix-var prefix)

218+ ::

219+ (easy prefix)

220+ ==

221+ ++ parse-access

222+ |= =prefix-expr

223+ %+ cook

224+ |=([* =expr *] [%indexed prefix-expr expr])

225+ ;~ (glue ws)

226+ (just '[')

227+ parse-expr

228+ (just ']')

229+ ==

230+ ++ parse-dot

231+ |= =prefix-expr

232+ %+ cook

233+ |=([* =name] [%dot prefix-expr name])

234+ ;~ plug

235+ dot

236+ parse-name

237+ ==

238+ --

239+++ parse-stat

240+ %+ knee *stat

241+ |.

242+ %^ tnee %parse-stat stat

243+ ;~ pose

244+ (cold [%empty ~] (just ';'))

245+ ::

246+ (cold [%break ~] (jest 'break'))

247+ ::

248+ %+ cook

249+ |= [* cond=expr * body=blok *] [%while cond body]

250+ ;~ (glue wss)

251+ (jest 'while')

252+ parse-expr

253+ (jest 'do')

254+ parse-blok

255+ (jest 'end')

256+ ==

257+ ::

258+ %+ cook

259+ |= [* body=blok * cond=expr] [%repeat body cond]

260+ ;~ (glue wss)

261+ (jest 'repeat')

262+ parse-blok

263+ (jest 'until')

264+ parse-expr

265+ ==

266+ ::

267+ %+ cook

268+ |= [* =label] [%goto label]

269+ ;~ (glue ws)

270+ (jest 'goto')

271+ parse-name

272+ ==

273+ ::

274+ %+ cook

275+ |= =if [%if if]

276+ parse-if

277+ ::

278+ %+ cook

279+ |= =label [%label label]

280+ parse-label

281+ ::

282+ %+ cook

283+ |=([* =blok *] [%blok blok])

284+ ;~ (glue wss)

285+ (jest 'do')

286+ (knee *blok |.(parse-blok))

287+ (jest 'end')

288+ ==

289+ ::

290+ %+ cook

291+ |=([=varlist * =exprlist] [%asmnt varlist exprlist])

292+ ;~ (glue ws)

293+ parse-varlist

294+ (just '=')

295+ parse-exprlist

296+ ==

297+ ::

298+ %+ cook

299+ |= =functioncall [%func-call functioncall]

300+ parse-functioncall

301+ ==

302+++ parse-if

303+ %+ knee *if

304+ |.

305+ %^ tnee %parse-if if

306+ %+ cook

307+ |= [* cond=expr * body=blok elsa=(list [cond=expr body=blok]) else=(unit blok) *]

308+ [cond body elsa else]

309+ ;~ (glue wss)

310+ (jest 'if')

311+ parse-expr

312+ (jest 'then')

313+ parse-blok

314+ ::

315+ %- star

316+ %+ cook

317+ |= [* cond=expr * body=blok] [cond body]

318+ ;~ (glue wss)

319+ (jest 'elseif')

320+ parse-expr

321+ (jest 'then')

322+ parse-blok

323+ ==

324+ ::

325+ %- punt

326+ %+ cook

327+ |= [* =blok] blok

328+ ;~ (glue wss)

329+ (jest 'else')

330+ parse-blok

331+ ==

332+ (jest 'end')

333+ ==

334+++ parse-functioncall

335+ %^ tnee %parse-functioncall functioncall

336+ ;< prefix=prefix-expr bind parse-prefix-expr

337+ ;~ pose

338+ (parse-functioncall-args prefix)

339+ ::

340+ ?: ?=(%call -.prefix) (easy +.prefix) fail

341+ ==

342+++ parse-functioncall-args

343+ |= =prefix-expr

344+ %^ tnee %parse-functioncall-args functioncall

345+ ;~ pfix

346+ ws

347+ ;~ pose

348+ %+ cook

349+ |= =args [%call prefix-expr args]

350+ parse-args

351+ ::

352+ %+ cook

353+ |= [* method=name =args]

354+ [%method prefix-expr method args]

355+ ;~ (glue ws)

356+ (just ':')

357+ parse-name

358+ parse-args

359+ ==

360+ ==

361+ ==

362+++ parse-args

363+ %^ tnee %parse-args args

364+ ;~ pose

365+ %+ cook

366+ |= [* =exprlist *] exprlist

367+ ;~ (glue ws)

368+ (just '(')

369+ parse-exprlist

370+ (just ')')

371+ ==

372+ ::

373+ %+ cook

374+ |= =table ~[[%table table]]

375+ parse-table

376+ ::

377+ %+ cook

378+ |= =string ~[[%string string]]

379+ parse-string

380+ ==

381+++ parse-label

382+ %^ tnee %parse-label label

383+ %+ cook

384+ |= [* =label *] label

385+ ;~ (glue ws)

386+ (jest '::')

387+ parse-name

388+ (jest '::')

389+ ==

390+++ parse-blok

391+ %^ tnee %parse-blok blok

392+ ;~ plug

393+ (most ws parse-stat)

394+ ::

395+ %- punt

396+ ;~ pfix

397+ wss

398+ parse-ret

399+ ==

400+ ==

401+++ parse-ret

402+ %^ tnee %parse-ret ret

403+ %+ cook

404+ |= [[* =exprlist] *] exprlist

405+ ;~ plug

406+ ;~ (glue wss)

407+ (jest 'return')

408+ parse-exprlist

409+ ==

410+ (punt (just ';'))

411+ ==

412+++ parse-name

413+ =>

414+ |%

415+ ++ name-char ;~(pose name-fst-char dit:ab)

416+ ++ name-fst-char ;~(pose alf:ab (just '_'))

417+ --

418+ %+ cook |= =tape (crip tape)

419+ ;~(less keyword ;~(plug name-fst-char (star name-char)))

420+++ bind

421+ |* =mold

422+ |* [prev=rule cont=$-(mold rule)]

423+ |= =nail

424+ =/ prev-edge (prev nail)

425+ ?~ q.prev-edge prev-edge

426+ ((cont p.u.q.prev-edge) q.u.q.prev-edge)

427+++ w

428+ ;~ pose

429+ gah

430+ (just '\09')

431+ ==

432+++ ws

433+ %+ cold ~

434+ %- star w

435+++ wss

436+ %+ cold ~

437+ %- plus w

438+++ parse-float

439+ %^ tnee %parse-float @rd

440+ %+ cook ryld

441+ %+ cook royl-cell:so

442+ %+ sear

443+ |= [int=@ frac=(unit [@ @]) exp=(unit [exp-sign=? exp=@])]

444+ ?: ?=([~ ~] [frac exp]) ~

445+ %- some

446+ :*

447+ %d

448+ &

449+ int

450+ (fall frac [0 0])

451+ (fall exp [& 0])

452+ ==

453+ =/ moo

454+ |= a=tape

455+ :- (lent a)

456+ (scan a (bass 10 (plus sid:ab)))

457+ ;~ plug

458+ ;~ plug

459+ dim:ag

460+ ::

461+ (punt ;~(pfix dot (cook moo (plus (shim '0' '9')))))

462+ ::

463+ %- punt

464+ ;~ pfix

465+ (mask "eE")

466+ ;~(plug ;~(pose (cold | hep) (easy &)) dim:ag)

467+ ==

468+ ==

469+ ==

470+++ parse-hex-float

471+ %^ tnee %parse-hex-float @rd

472+ =<

473+ %+ sear

474+ |= [* * int=tape frac=(unit tape) exp=(unit [exp-sign=? exp=@])]

475+ ?: ?=([~ ~] [frac exp]) ~

476+ %- some

477+ =/ frac (fall frac "")

478+ =/ whole=@rd (sun:rd (scan (weld int frac) hex))

479+ =/ frac-exp=@rd (sun:rd (pow 16 (lent frac)))

480+ =/ without-exp (div:rd whole frac-exp)

481+ ?~ exp without-exp

482+ =/ exp-exp (sun:rd (pow 2 exp.u.exp))

483+ ?: exp-sign.u.exp

484+ (mul:rd without-exp exp-exp)

485+ (div:rd without-exp exp-exp)

486+ ;~ plug

487+ (just '0')

488+ ::

489+ (mask "xX")

490+ ::

491+ (plus hex-digit)

492+ ::

493+ %- punt

494+ ;~ pfix

495+ dot

496+ (plus hex-digit)

497+ ==

498+ ::

499+ %- punt

500+ ;~ pfix

501+ (mask "pP")

502+ ;~(plug ;~(pose (cold | hep) (cold & lus) (easy &)) dim:ag)

503+ ==

504+ ==

505+ |%

506+ ++ hex-digit

507+ %^ tnee %hex-digit char

508+ ;~ pose

509+ (shim '0' '9')

510+ (shim 'a' 'f')

511+ (shim 'A' 'F')

512+ ==

513+ --

514+++ keyword

515+ %+ cold ~

516+ ;~ pose

517+ (jest 'and')

518+ (jest 'break')

519+ (jest 'do')

520+ (jest 'else')

521+ (jest 'elseif')

522+ (jest 'end')

523+ (jest 'false')

524+ (jest 'for')

525+ (jest 'function')

526+ (jest 'goto')

527+ (jest 'if')

528+ (jest 'in')

529+ (jest 'local')

530+ (jest 'nil')

531+ (jest 'not')

532+ (jest 'or')

533+ (jest 'repeat')

534+ (jest 'return')

535+ (jest 'then')

536+ (jest 'true')

537+ (jest 'until')

538+ (jest 'while')

539+ ==

540+++ tnee

541+ |* [=term gar=mold sef=rule]

542+ |= tub=nail

543+ ^- (like gar)

544+ =/ trace &

545+ ~? trace [term q.tub]

546+ =/ res (sef tub)

547+ ?. trace res

548+ ?~ q.res

549+ ~& [term %nope] res

550+ ~& > [term %ok] res

551+--

zod/luau/lib/lua/printer.hoonnew file+325

@@ -0,0 +1,325 @@

1+/- *lua

2+=<

3+print

4+|%

5+:: AST

6+::

7+++ print

8+ |= [=ast]

9+ ^- tape

10+ ?- -.ast

11+ %blok (print-blok +.ast)

12+ ==

13+:: Expr

14+::

15+++ print-expr

16+ |= [=expr]

17+ ^- tape

18+ ?- -.expr

19+ %prefix-expr (print-prefix-expr +.expr)

20+ %nil "nil"

21+ %true "true"

22+ %false "false"

23+ %binop

24+ %- zing

25+ :~

26+ (print-expr +<.expr)

27+ " "

28+ (print-binop +>-.expr)

29+ " "

30+ (print-expr +>+.expr)

31+ ==

32+ %num (print-numeral +.expr)

33+ %table (print-table +.expr)

34+ %string (print-string +.expr)

35+ ==

36+:: string

37+::

38+++ print-string

39+ |= =string

40+ %- zing

41+ :~

42+ "\""

43+ (trip string)

44+ "\""

45+ ==

46+:: table

47+::

48+++ print-table

49+ |= =table

50+ ^- tape

51+ %- zing

52+ :~

53+ "\{"

54+ (print-field-list table)

55+ "}"

56+ ==

57+:: field-list

58+::

59+++ print-field-list

60+ |= =field-list

61+ ^- tape

62+ %- commaed

63+ %+ turn field-list print-field

64+:: field

65+::

66+++ print-field

67+ |= =field

68+ ^- tape

69+ ?- -.field

70+ %keyed

71+ %- zing

72+ :~

73+ "["

74+ (print-expr +<.field)

75+ "] = "

76+ (print-expr +>.field)

77+ ==

78+ %unkeyed

79+ (print-expr +.field)

80+ ==

81+:: binop

82+::

83+++ print-binop

84+ |= [=binop]

85+ ?- binop

86+ %add "+"

87+ %sub "-"

88+ %mul "*"

89+ %div "/"

90+ %int-div "//"

91+ %pow "^"

92+ %mod "%"

93+ %band "&"

94+ %bor "|"

95+ %bxor "~"

96+ %rshft ">>"

97+ %lshft "<<"

98+ %and "and"

99+ %or "or"

100+ %lt "<"

101+ %lteq "<="

102+ %eq "=="

103+ %gt ">"

104+ %gteq ">="

105+ %neq "~="

106+ %concat ".."

107+ ==

108+:: numeral

109+::

110+++ print-numeral

111+ |= [num=numeral]

112+ ^- tape

113+ ?- -.num

114+ %int (show-u +.num)

115+ %float (show-float +.num)

116+ ==

117+:: exprlist

118+::

119+++ print-exprlist

120+ |= [=exprlist]

121+ %- commaed

122+ %+ turn exprlist print-expr

123+:: Var

124+::

125+++ print-var

126+ |= [=var]

127+ ^- tape

128+ ?- -.var

129+ %name (trip +.var)

130+ %indexed

131+ %- zing

132+ :~

133+ (print-prefix-expr +<.var)

134+ "["

135+ (print-expr +>.var)

136+ "]"

137+ ==

138+ %dot

139+ %- zing

140+ :~

141+ (print-prefix-expr +<.var)

142+ "."

143+ (trip +>.var)

144+ ==

145+ ==

146+:: varlist

147+::

148+++ print-varlist

149+ |= [=varlist]

150+ %- commaed

151+ %+ turn varlist print-var

152+:: Prefix Expr

153+::

154+++ print-prefix-expr

155+ |= [=prefix-expr]

156+ ?- -.prefix-expr

157+ %var (print-var +.prefix-expr)

158+ %expr

159+ %- zing

160+ :~

161+ "("

162+ (print-expr +.prefix-expr)

163+ ")"

164+ ==

165+ %call (print-functioncall +.prefix-expr)

166+ ==

167+:: stat

168+::

169+++ print-stat

170+ |= [=stat]

171+ ^- tape

172+ ?- -.stat

173+ %empty ";"

174+ %blok (print-blok +.stat)

175+ %asmnt

176+ %- zing

177+ :~

178+ (commaed (turn +<.stat print-var))

179+ "="

180+ (commaed (turn +>.stat print-expr))

181+ ==

182+ %label (print-label +.stat)

183+ %func-call (print-functioncall +.stat)

184+ %break "break"

185+ %goto

186+ %- zing

187+ :~

188+ "goto "

189+ (trip +.stat)

190+ ==

191+ %while

192+ %- zing

193+ :~

194+ "while "

195+ (print-expr cond.stat)

196+ " do\0a"

197+ (print-blok body.stat)

198+ ==

199+ %repeat

200+ %- zing

201+ :~

202+ "repeat\0a"

203+ (print-blok body.stat)

204+ "until "

205+ (print-expr cond.stat)

206+ ==

207+ %if (print-if +.stat)

208+ ==

209+:: if

210+::

211+++ print-if

212+ |= =if

213+ ^- tape

214+ %- zing

215+ :~

216+ "if "

217+ (print-expr cond.if)

218+ " then\0a"

219+ (print-blok body.if)

220+ ::

221+ ^- tape

222+ %- zing

223+ %+ turn elsa.if

224+ |= [cond=expr body=blok]

225+ %- zing

226+ :~

227+ "\0aelseif"

228+ (print-expr cond)

229+ " then\0a"

230+ (print-blok body)

231+ ==

232+ ::

233+ ?~ else.if ""

234+ ^- tape

235+ %- zing

236+ :~

237+ "\0aelse\0a"

238+ (print-blok u.else.if)

239+ ==

240+ ::

241+ "\0aend"

242+ ==

243+:: functioncall

244+::

245+++ print-functioncall

246+ |= call=functioncall

247+ ^- tape

248+ ?- -.call

249+ %call

250+ %- zing

251+ :~

252+ (print-prefix-expr func.call)

253+ (print-args args.call)

254+ ==

255+ %method

256+ %- zing

257+ :~

258+ (print-prefix-expr obj.call)

259+ ":"

260+ (trip method.call)

261+ (print-args args.call)

262+ ==

263+ ==

264+:: args

265+::

266+++ print-args

267+ |= =args

268+ ^- tape

269+ %- zing

270+ :~

271+ "("

272+ (print-exprlist args)

273+ ")"

274+ ==

275+::

276+:: label

277+::

278+++ print-label

279+ |= =label

280+ ^- tape

281+ %- zing

282+ :~

283+ "::"

284+ (trip label)

285+ "::"

286+ ==

287+:: Blok

288+::

289+++ print-blok

290+ |= [=blok]

291+ ^- tape

292+ %- zing

293+ %+ join "\0a"

294+ %+ weld

295+ (turn body.blok print-stat)

296+ ?~ ret.blok ~

297+ ~[(print-ret u.ret.blok)]

298+:: ret

299+::

300+++ print-ret

301+ |= =ret

302+ ^- tape

303+ %- zing

304+ :~

305+ "return "

306+ (print-exprlist ret)

307+ ==

308+:: Helpers

309+::

310+++ commaed

311+ |= [l=(list tape)]

312+ ^- tape

313+ %- zing

314+ %+ join "," l

315+++ show-s

316+ |=(s=@s `tape`[?:((syn:si s) %$ '-') (slag 2 (scow %ui (abs:si s)))])

317+++ show-u

318+ |=(u=@u `tape`(slag 2 (scow %ui u)))

319+++ show-float

320+ |= x=@rd

321+ ^- tape

322+ %- r-co:co

323+ %- rlyd

324+ x

325+ --

zod/luau/mar/lua.hoon+5−3

@@ -1,4 +1,6 @@

1+/- lua

2+/+ lua-parser

1−/+ lua

3+/+ lua-printer

3|_ ast=ast:lua

5|_ ast=ast:lua

4++ grad %noun

6++ grad %noun

@@ -7,14 +9,14 @@

7 ++ noun ast

9 ++ noun ast

8 ++ mime

10 ++ mime

9 ^- ^mime

11 ^- ^mime

10− [/text/lua (as-octt:mimes:html (print:lua ast))]

12+ [/text/lua (as-octt:mimes:html (lua-printer ast))]

11 --

13 --

12++ grab

14++ grab

13 |%

15 |%

14 ++ noun ast:lua

16 ++ noun ast:lua

15 ++ mime

17 ++ mime

16 |= [=mite len=@ tex=@]

18 |= [=mite len=@ tex=@]

17− (rash tex apex:lua)

19+ (rash tex lua-parser)

18 --

20 --

19--

21--

zod/luau/sur/lua.hoonnew file+92

@@ -0,0 +1,92 @@

1+|%

2++$ name @t

3++$ ast

4+ $%

5+ [%blok blok]

6+ ==

7++$ expr

8+ $%

9+ [%string string]

10+ [%binop expr binop expr]

11+ [%prefix-expr prefix-expr]

12+ [%num numeral]

13+ [%table table]

14+ [%true ~]

15+ [%false ~]

16+ [%nil ~]

17+ ==

18++$ string @t

19++$ table field-list

20++$ field-list (list field)

21++$ field

22+ $%

23+ [%keyed expr expr]

24+ [%unkeyed expr]

25+ ==

26++$ binop

27+ $?

28+ %add

29+ %sub

30+ %mul

31+ %div

32+ %int-div

33+ %pow

34+ %mod

35+ %band

36+ %bor

37+ %bxor

38+ %rshft

39+ %lshft

40+ %and

41+ %or

42+ %lt

43+ %lteq

44+ %eq

45+ %gt

46+ %gteq

47+ %neq

48+ %concat

49+ ==

50++$ numeral

51+ $%

52+ [%int @u]

53+ [%float @rd]

54+ ==

55++$ exprlist (lest expr)

56++$ var

57+ $%

58+ [%dot prefix-expr name]

59+ [%indexed prefix-expr expr]

60+ [%name name]

61+ ==

62++$ varlist (lest var)

63++$ prefix-expr

64+ $%

65+ [%expr expr]

66+ [%call functioncall]

67+ [%var var]

68+ ==

69++$ stat

70+ $%

71+ [%blok blok]

72+ [%asmnt varlist exprlist]

73+ [%label label]

74+ [%goto label]

75+ [%func-call functioncall]

76+ [%while cond=expr body=blok]

77+ [%repeat body=blok cond=expr]

78+ [%if if]

79+ [%break ~]

80+ [%empty ~]

81+ ==

82++$ if [cond=expr body=blok elsa=(list [cond=expr body=blok]) else=(unit blok)]

83++$ functioncall

84+ $%

85+ [%call func=prefix-expr =args]

86+ [%method obj=prefix-expr method=name =args]

87+ ==

88++$ args exprlist

89++$ label name

90++$ blok [body=(lest stat) ret=(unit ret)]

91++$ ret exprlist

92+--