3e637ff7352c6663376f6e223ec1b9cfd164e7b8 53 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. class_declaration {
  8. name {
  9. name: "ListElement"
  10. }
  11. members {
  12. function {
  13. name {
  14. name: "Create"
  15. }
  16. param_pattern {
  17. fields {
  18. binding_pattern {
  19. name: "value"
  20. type {
  21. expression_pattern {
  22. expression {
  23. int_type_literal {
  24. }
  25. }
  26. }
  27. }
  28. }
  29. }
  30. }
  31. return_term {
  32. kind: Expression
  33. type {
  34. identifier {
  35. name: "ListElement"
  36. }
  37. }
  38. }
  39. body {
  40. statements {
  41. return_expression_statement {
  42. expression {
  43. struct_literal {
  44. fields {
  45. name: "element"
  46. expression {
  47. call {
  48. function {
  49. simple_member_access {
  50. field: "Create"
  51. object {
  52. call {
  53. function {
  54. identifier {
  55. name: "Optional"
  56. }
  57. }
  58. argument {
  59. tuple_literal {
  60. fields {
  61. int_type_literal {
  62. }
  63. }
  64. }
  65. }
  66. }
  67. }
  68. }
  69. }
  70. argument {
  71. tuple_literal {
  72. fields {
  73. identifier {
  74. name: "value"
  75. }
  76. }
  77. }
  78. }
  79. }
  80. }
  81. }
  82. fields {
  83. name: "next"
  84. expression {
  85. call {
  86. function {
  87. simple_member_access {
  88. field: "CreateEmpty"
  89. object {
  90. call {
  91. function {
  92. identifier {
  93. name: "Optional"
  94. }
  95. }
  96. argument {
  97. tuple_literal {
  98. fields {
  99. operator {
  100. op: Ptr
  101. arguments {
  102. identifier {
  103. name: "ListElement"
  104. }
  105. }
  106. }
  107. }
  108. }
  109. }
  110. }
  111. }
  112. }
  113. }
  114. argument {
  115. tuple_literal {
  116. }
  117. }
  118. }
  119. }
  120. }
  121. }
  122. }
  123. }
  124. }
  125. }
  126. }
  127. }
  128. members {
  129. function {
  130. name {
  131. name: "set"
  132. }
  133. self_pattern {
  134. addr_pattern {
  135. binding_pattern {
  136. name: "self"
  137. type {
  138. expression_pattern {
  139. expression {
  140. operator {
  141. op: Ptr
  142. arguments {
  143. identifier {
  144. name: "Self"
  145. }
  146. }
  147. }
  148. }
  149. }
  150. }
  151. }
  152. }
  153. }
  154. param_pattern {
  155. fields {
  156. binding_pattern {
  157. name: "value"
  158. type {
  159. expression_pattern {
  160. expression {
  161. call {
  162. function {
  163. identifier {
  164. name: "Optional"
  165. }
  166. }
  167. argument {
  168. tuple_literal {
  169. fields {
  170. operator {
  171. op: Ptr
  172. arguments {
  173. identifier {
  174. name: "ListElement"
  175. }
  176. }
  177. }
  178. }
  179. }
  180. }
  181. }
  182. }
  183. }
  184. }
  185. }
  186. }
  187. }
  188. return_term {
  189. kind: Omitted
  190. }
  191. body {
  192. statements {
  193. assign {
  194. lhs {
  195. simple_member_access {
  196. field: "next"
  197. object {
  198. operator {
  199. op: Deref
  200. arguments {
  201. identifier {
  202. name: "self"
  203. }
  204. }
  205. }
  206. }
  207. }
  208. }
  209. rhs {
  210. identifier {
  211. name: "value"
  212. }
  213. }
  214. op: Plain
  215. }
  216. }
  217. }
  218. }
  219. }
  220. members {
  221. variable {
  222. binding {
  223. name: "element"
  224. type {
  225. expression_pattern {
  226. expression {
  227. call {
  228. function {
  229. identifier {
  230. name: "Optional"
  231. }
  232. }
  233. argument {
  234. tuple_literal {
  235. fields {
  236. int_type_literal {
  237. }
  238. }
  239. }
  240. }
  241. }
  242. }
  243. }
  244. }
  245. }
  246. }
  247. }
  248. members {
  249. variable {
  250. binding {
  251. name: "next"
  252. type {
  253. expression_pattern {
  254. expression {
  255. call {
  256. function {
  257. identifier {
  258. name: "Optional"
  259. }
  260. }
  261. argument {
  262. tuple_literal {
  263. fields {
  264. operator {
  265. op: Ptr
  266. arguments {
  267. identifier {
  268. name: "ListElement"
  269. }
  270. }
  271. }
  272. }
  273. }
  274. }
  275. }
  276. }
  277. }
  278. }
  279. }
  280. }
  281. }
  282. }
  283. }
  284. declarations {
  285. class_declaration {
  286. name {
  287. name: "List"
  288. }
  289. members {
  290. function {
  291. name {
  292. name: "Create"
  293. }
  294. param_pattern {
  295. }
  296. return_term {
  297. kind: Expression
  298. type {
  299. identifier {
  300. name: "List"
  301. }
  302. }
  303. }
  304. body {
  305. statements {
  306. return_expression_statement {
  307. expression {
  308. struct_literal {
  309. fields {
  310. name: "next"
  311. expression {
  312. call {
  313. function {
  314. simple_member_access {
  315. field: "CreateEmpty"
  316. object {
  317. call {
  318. function {
  319. identifier {
  320. name: "Optional"
  321. }
  322. }
  323. argument {
  324. tuple_literal {
  325. fields {
  326. operator {
  327. op: Ptr
  328. arguments {
  329. identifier {
  330. name: "ListElement"
  331. }
  332. }
  333. }
  334. }
  335. }
  336. }
  337. }
  338. }
  339. }
  340. }
  341. argument {
  342. tuple_literal {
  343. }
  344. }
  345. }
  346. }
  347. }
  348. }
  349. }
  350. }
  351. }
  352. }
  353. }
  354. }
  355. members {
  356. function {
  357. name {
  358. name: "insert"
  359. }
  360. self_pattern {
  361. addr_pattern {
  362. binding_pattern {
  363. name: "self"
  364. type {
  365. expression_pattern {
  366. expression {
  367. operator {
  368. op: Ptr
  369. arguments {
  370. identifier {
  371. name: "Self"
  372. }
  373. }
  374. }
  375. }
  376. }
  377. }
  378. }
  379. }
  380. }
  381. param_pattern {
  382. fields {
  383. binding_pattern {
  384. name: "value"
  385. type {
  386. expression_pattern {
  387. expression {
  388. int_type_literal {
  389. }
  390. }
  391. }
  392. }
  393. }
  394. }
  395. }
  396. return_term {
  397. kind: Omitted
  398. }
  399. body {
  400. statements {
  401. if_statement {
  402. condition {
  403. operator {
  404. op: Not
  405. arguments {
  406. call {
  407. function {
  408. simple_member_access {
  409. field: "HasValue"
  410. object {
  411. simple_member_access {
  412. field: "next"
  413. object {
  414. operator {
  415. op: Deref
  416. arguments {
  417. identifier {
  418. name: "self"
  419. }
  420. }
  421. }
  422. }
  423. }
  424. }
  425. }
  426. }
  427. argument {
  428. tuple_literal {
  429. }
  430. }
  431. }
  432. }
  433. }
  434. }
  435. then_block {
  436. statements {
  437. assign {
  438. lhs {
  439. simple_member_access {
  440. field: "next"
  441. object {
  442. operator {
  443. op: Deref
  444. arguments {
  445. identifier {
  446. name: "self"
  447. }
  448. }
  449. }
  450. }
  451. }
  452. }
  453. rhs {
  454. call {
  455. function {
  456. simple_member_access {
  457. field: "Create"
  458. object {
  459. call {
  460. function {
  461. identifier {
  462. name: "Optional"
  463. }
  464. }
  465. argument {
  466. tuple_literal {
  467. fields {
  468. operator {
  469. op: Ptr
  470. arguments {
  471. identifier {
  472. name: "ListElement"
  473. }
  474. }
  475. }
  476. }
  477. }
  478. }
  479. }
  480. }
  481. }
  482. }
  483. argument {
  484. tuple_literal {
  485. fields {
  486. call {
  487. function {
  488. simple_member_access {
  489. field: "New"
  490. object {
  491. identifier {
  492. name: "heap"
  493. }
  494. }
  495. }
  496. }
  497. argument {
  498. tuple_literal {
  499. fields {
  500. call {
  501. function {
  502. simple_member_access {
  503. field: "Create"
  504. object {
  505. identifier {
  506. name: "ListElement"
  507. }
  508. }
  509. }
  510. }
  511. argument {
  512. tuple_literal {
  513. fields {
  514. identifier {
  515. name: "value"
  516. }
  517. }
  518. }
  519. }
  520. }
  521. }
  522. }
  523. }
  524. }
  525. }
  526. }
  527. }
  528. }
  529. }
  530. op: Plain
  531. }
  532. }
  533. statements {
  534. return_expression_statement {
  535. is_omitted_expression: true
  536. }
  537. }
  538. }
  539. }
  540. }
  541. statements {
  542. variable_definition {
  543. pattern {
  544. binding_pattern {
  545. name: "iter"
  546. type {
  547. expression_pattern {
  548. expression {
  549. call {
  550. function {
  551. identifier {
  552. name: "Optional"
  553. }
  554. }
  555. argument {
  556. tuple_literal {
  557. fields {
  558. operator {
  559. op: Ptr
  560. arguments {
  561. identifier {
  562. name: "ListElement"
  563. }
  564. }
  565. }
  566. }
  567. }
  568. }
  569. }
  570. }
  571. }
  572. }
  573. }
  574. }
  575. init {
  576. simple_member_access {
  577. field: "next"
  578. object {
  579. operator {
  580. op: Deref
  581. arguments {
  582. identifier {
  583. name: "self"
  584. }
  585. }
  586. }
  587. }
  588. }
  589. }
  590. is_returned: false
  591. }
  592. }
  593. statements {
  594. variable_definition {
  595. pattern {
  596. binding_pattern {
  597. name: "node"
  598. type {
  599. auto_pattern {
  600. }
  601. }
  602. }
  603. }
  604. init {
  605. call {
  606. function {
  607. simple_member_access {
  608. field: "Get"
  609. object {
  610. identifier {
  611. name: "iter"
  612. }
  613. }
  614. }
  615. }
  616. argument {
  617. tuple_literal {
  618. }
  619. }
  620. }
  621. }
  622. is_returned: false
  623. }
  624. }
  625. statements {
  626. while_statement {
  627. condition {
  628. call {
  629. function {
  630. simple_member_access {
  631. field: "HasValue"
  632. object {
  633. simple_member_access {
  634. field: "next"
  635. object {
  636. operator {
  637. op: Deref
  638. arguments {
  639. identifier {
  640. name: "node"
  641. }
  642. }
  643. }
  644. }
  645. }
  646. }
  647. }
  648. }
  649. argument {
  650. tuple_literal {
  651. }
  652. }
  653. }
  654. }
  655. body {
  656. statements {
  657. assign {
  658. lhs {
  659. identifier {
  660. name: "iter"
  661. }
  662. }
  663. rhs {
  664. simple_member_access {
  665. field: "next"
  666. object {
  667. operator {
  668. op: Deref
  669. arguments {
  670. identifier {
  671. name: "node"
  672. }
  673. }
  674. }
  675. }
  676. }
  677. }
  678. op: Plain
  679. }
  680. }
  681. statements {
  682. assign {
  683. lhs {
  684. identifier {
  685. name: "node"
  686. }
  687. }
  688. rhs {
  689. call {
  690. function {
  691. simple_member_access {
  692. field: "Get"
  693. object {
  694. identifier {
  695. name: "iter"
  696. }
  697. }
  698. }
  699. }
  700. argument {
  701. tuple_literal {
  702. }
  703. }
  704. }
  705. }
  706. op: Plain
  707. }
  708. }
  709. }
  710. }
  711. }
  712. statements {
  713. variable_definition {
  714. pattern {
  715. binding_pattern {
  716. name: "v"
  717. type {
  718. expression_pattern {
  719. expression {
  720. operator {
  721. op: Ptr
  722. arguments {
  723. identifier {
  724. name: "ListElement"
  725. }
  726. }
  727. }
  728. }
  729. }
  730. }
  731. }
  732. }
  733. init {
  734. call {
  735. function {
  736. simple_member_access {
  737. field: "Get"
  738. object {
  739. identifier {
  740. name: "iter"
  741. }
  742. }
  743. }
  744. }
  745. argument {
  746. tuple_literal {
  747. }
  748. }
  749. }
  750. }
  751. is_returned: false
  752. }
  753. }
  754. statements {
  755. variable_definition {
  756. pattern {
  757. binding_pattern {
  758. name: "x"
  759. type {
  760. expression_pattern {
  761. expression {
  762. call {
  763. function {
  764. identifier {
  765. name: "Optional"
  766. }
  767. }
  768. argument {
  769. tuple_literal {
  770. fields {
  771. operator {
  772. op: Ptr
  773. arguments {
  774. identifier {
  775. name: "ListElement"
  776. }
  777. }
  778. }
  779. }
  780. }
  781. }
  782. }
  783. }
  784. }
  785. }
  786. }
  787. }
  788. init {
  789. call {
  790. function {
  791. simple_member_access {
  792. field: "Create"
  793. object {
  794. call {
  795. function {
  796. identifier {
  797. name: "Optional"
  798. }
  799. }
  800. argument {
  801. tuple_literal {
  802. fields {
  803. operator {
  804. op: Ptr
  805. arguments {
  806. identifier {
  807. name: "ListElement"
  808. }
  809. }
  810. }
  811. }
  812. }
  813. }
  814. }
  815. }
  816. }
  817. }
  818. argument {
  819. tuple_literal {
  820. fields {
  821. call {
  822. function {
  823. simple_member_access {
  824. field: "New"
  825. object {
  826. identifier {
  827. name: "heap"
  828. }
  829. }
  830. }
  831. }
  832. argument {
  833. tuple_literal {
  834. fields {
  835. call {
  836. function {
  837. simple_member_access {
  838. field: "Create"
  839. object {
  840. identifier {
  841. name: "ListElement"
  842. }
  843. }
  844. }
  845. }
  846. argument {
  847. tuple_literal {
  848. fields {
  849. identifier {
  850. name: "value"
  851. }
  852. }
  853. }
  854. }
  855. }
  856. }
  857. }
  858. }
  859. }
  860. }
  861. }
  862. }
  863. }
  864. }
  865. is_returned: false
  866. }
  867. }
  868. statements {
  869. expression_statement {
  870. expression {
  871. call {
  872. function {
  873. simple_member_access {
  874. field: "set"
  875. object {
  876. operator {
  877. op: Deref
  878. arguments {
  879. identifier {
  880. name: "v"
  881. }
  882. }
  883. }
  884. }
  885. }
  886. }
  887. argument {
  888. tuple_literal {
  889. fields {
  890. identifier {
  891. name: "x"
  892. }
  893. }
  894. }
  895. }
  896. }
  897. }
  898. }
  899. }
  900. }
  901. }
  902. }
  903. members {
  904. function {
  905. name {
  906. name: "print"
  907. }
  908. self_pattern {
  909. binding_pattern {
  910. name: "self"
  911. type {
  912. expression_pattern {
  913. expression {
  914. identifier {
  915. name: "Self"
  916. }
  917. }
  918. }
  919. }
  920. }
  921. }
  922. param_pattern {
  923. }
  924. return_term {
  925. kind: Omitted
  926. }
  927. body {
  928. statements {
  929. variable_definition {
  930. pattern {
  931. binding_pattern {
  932. name: "iter"
  933. type {
  934. expression_pattern {
  935. expression {
  936. call {
  937. function {
  938. identifier {
  939. name: "Optional"
  940. }
  941. }
  942. argument {
  943. tuple_literal {
  944. fields {
  945. operator {
  946. op: Ptr
  947. arguments {
  948. identifier {
  949. name: "ListElement"
  950. }
  951. }
  952. }
  953. }
  954. }
  955. }
  956. }
  957. }
  958. }
  959. }
  960. }
  961. }
  962. init {
  963. simple_member_access {
  964. field: "next"
  965. object {
  966. identifier {
  967. name: "self"
  968. }
  969. }
  970. }
  971. }
  972. is_returned: false
  973. }
  974. }
  975. statements {
  976. while_statement {
  977. condition {
  978. call {
  979. function {
  980. simple_member_access {
  981. field: "HasValue"
  982. object {
  983. identifier {
  984. name: "iter"
  985. }
  986. }
  987. }
  988. }
  989. argument {
  990. tuple_literal {
  991. }
  992. }
  993. }
  994. }
  995. body {
  996. statements {
  997. variable_definition {
  998. pattern {
  999. binding_pattern {
  1000. name: "node"
  1001. type {
  1002. auto_pattern {
  1003. }
  1004. }
  1005. }
  1006. }
  1007. init {
  1008. operator {
  1009. op: Deref
  1010. arguments {
  1011. call {
  1012. function {
  1013. simple_member_access {
  1014. field: "Get"
  1015. object {
  1016. identifier {
  1017. name: "iter"
  1018. }
  1019. }
  1020. }
  1021. }
  1022. argument {
  1023. tuple_literal {
  1024. }
  1025. }
  1026. }
  1027. }
  1028. }
  1029. }
  1030. is_returned: false
  1031. }
  1032. }
  1033. statements {
  1034. expression_statement {
  1035. expression {
  1036. call {
  1037. function {
  1038. identifier {
  1039. name: "Print"
  1040. }
  1041. }
  1042. argument {
  1043. tuple_literal {
  1044. fields {
  1045. string_literal {
  1046. value: "{0}"
  1047. }
  1048. }
  1049. fields {
  1050. call {
  1051. function {
  1052. simple_member_access {
  1053. field: "Get"
  1054. object {
  1055. simple_member_access {
  1056. field: "element"
  1057. object {
  1058. identifier {
  1059. name: "node"
  1060. }
  1061. }
  1062. }
  1063. }
  1064. }
  1065. }
  1066. argument {
  1067. tuple_literal {
  1068. }
  1069. }
  1070. }
  1071. }
  1072. }
  1073. }
  1074. }
  1075. }
  1076. }
  1077. }
  1078. statements {
  1079. variable_definition {
  1080. pattern {
  1081. binding_pattern {
  1082. name: "node_ptr"
  1083. type {
  1084. auto_pattern {
  1085. }
  1086. }
  1087. }
  1088. }
  1089. init {
  1090. call {
  1091. function {
  1092. simple_member_access {
  1093. field: "Get"
  1094. object {
  1095. identifier {
  1096. name: "iter"
  1097. }
  1098. }
  1099. }
  1100. }
  1101. argument {
  1102. tuple_literal {
  1103. }
  1104. }
  1105. }
  1106. }
  1107. is_returned: false
  1108. }
  1109. }
  1110. statements {
  1111. assign {
  1112. lhs {
  1113. identifier {
  1114. name: "iter"
  1115. }
  1116. }
  1117. rhs {
  1118. simple_member_access {
  1119. field: "next"
  1120. object {
  1121. identifier {
  1122. name: "node"
  1123. }
  1124. }
  1125. }
  1126. }
  1127. op: Plain
  1128. }
  1129. }
  1130. }
  1131. }
  1132. }
  1133. }
  1134. }
  1135. }
  1136. members {
  1137. function {
  1138. name {
  1139. name: "clean"
  1140. }
  1141. self_pattern {
  1142. addr_pattern {
  1143. binding_pattern {
  1144. name: "self"
  1145. type {
  1146. expression_pattern {
  1147. expression {
  1148. operator {
  1149. op: Ptr
  1150. arguments {
  1151. identifier {
  1152. name: "Self"
  1153. }
  1154. }
  1155. }
  1156. }
  1157. }
  1158. }
  1159. }
  1160. }
  1161. }
  1162. param_pattern {
  1163. }
  1164. return_term {
  1165. kind: Omitted
  1166. }
  1167. body {
  1168. statements {
  1169. variable_definition {
  1170. pattern {
  1171. binding_pattern {
  1172. name: "head"
  1173. type {
  1174. auto_pattern {
  1175. }
  1176. }
  1177. }
  1178. }
  1179. init {
  1180. simple_member_access {
  1181. field: "next"
  1182. object {
  1183. operator {
  1184. op: Deref
  1185. arguments {
  1186. identifier {
  1187. name: "self"
  1188. }
  1189. }
  1190. }
  1191. }
  1192. }
  1193. }
  1194. is_returned: false
  1195. }
  1196. }
  1197. statements {
  1198. while_statement {
  1199. condition {
  1200. call {
  1201. function {
  1202. simple_member_access {
  1203. field: "HasValue"
  1204. object {
  1205. identifier {
  1206. name: "head"
  1207. }
  1208. }
  1209. }
  1210. }
  1211. argument {
  1212. tuple_literal {
  1213. }
  1214. }
  1215. }
  1216. }
  1217. body {
  1218. statements {
  1219. variable_definition {
  1220. pattern {
  1221. binding_pattern {
  1222. name: "tmp"
  1223. type {
  1224. auto_pattern {
  1225. }
  1226. }
  1227. }
  1228. }
  1229. init {
  1230. identifier {
  1231. name: "head"
  1232. }
  1233. }
  1234. is_returned: false
  1235. }
  1236. }
  1237. statements {
  1238. assign {
  1239. lhs {
  1240. identifier {
  1241. name: "head"
  1242. }
  1243. }
  1244. rhs {
  1245. simple_member_access {
  1246. field: "next"
  1247. object {
  1248. operator {
  1249. op: Deref
  1250. arguments {
  1251. call {
  1252. function {
  1253. simple_member_access {
  1254. field: "Get"
  1255. object {
  1256. identifier {
  1257. name: "head"
  1258. }
  1259. }
  1260. }
  1261. }
  1262. argument {
  1263. tuple_literal {
  1264. }
  1265. }
  1266. }
  1267. }
  1268. }
  1269. }
  1270. }
  1271. }
  1272. op: Plain
  1273. }
  1274. }
  1275. statements {
  1276. expression_statement {
  1277. expression {
  1278. call {
  1279. function {
  1280. simple_member_access {
  1281. field: "Delete"
  1282. object {
  1283. identifier {
  1284. name: "heap"
  1285. }
  1286. }
  1287. }
  1288. }
  1289. argument {
  1290. tuple_literal {
  1291. fields {
  1292. call {
  1293. function {
  1294. simple_member_access {
  1295. field: "Get"
  1296. object {
  1297. identifier {
  1298. name: "tmp"
  1299. }
  1300. }
  1301. }
  1302. }
  1303. argument {
  1304. tuple_literal {
  1305. }
  1306. }
  1307. }
  1308. }
  1309. }
  1310. }
  1311. }
  1312. }
  1313. }
  1314. }
  1315. }
  1316. }
  1317. }
  1318. statements {
  1319. assign {
  1320. lhs {
  1321. simple_member_access {
  1322. field: "next"
  1323. object {
  1324. operator {
  1325. op: Deref
  1326. arguments {
  1327. identifier {
  1328. name: "self"
  1329. }
  1330. }
  1331. }
  1332. }
  1333. }
  1334. }
  1335. rhs {
  1336. call {
  1337. function {
  1338. simple_member_access {
  1339. field: "CreateEmpty"
  1340. object {
  1341. call {
  1342. function {
  1343. identifier {
  1344. name: "Optional"
  1345. }
  1346. }
  1347. argument {
  1348. tuple_literal {
  1349. fields {
  1350. operator {
  1351. op: Ptr
  1352. arguments {
  1353. identifier {
  1354. name: "ListElement"
  1355. }
  1356. }
  1357. }
  1358. }
  1359. }
  1360. }
  1361. }
  1362. }
  1363. }
  1364. }
  1365. argument {
  1366. tuple_literal {
  1367. }
  1368. }
  1369. }
  1370. }
  1371. op: Plain
  1372. }
  1373. }
  1374. }
  1375. }
  1376. }
  1377. members {
  1378. variable {
  1379. binding {
  1380. name: "next"
  1381. type {
  1382. expression_pattern {
  1383. expression {
  1384. call {
  1385. function {
  1386. identifier {
  1387. name: "Optional"
  1388. }
  1389. }
  1390. argument {
  1391. tuple_literal {
  1392. fields {
  1393. operator {
  1394. op: Ptr
  1395. arguments {
  1396. identifier {
  1397. name: "ListElement"
  1398. }
  1399. }
  1400. }
  1401. }
  1402. }
  1403. }
  1404. }
  1405. }
  1406. }
  1407. }
  1408. }
  1409. }
  1410. }
  1411. }
  1412. }
  1413. declarations {
  1414. function {
  1415. name {
  1416. name: "Main"
  1417. }
  1418. param_pattern {
  1419. }
  1420. return_term {
  1421. kind: Expression
  1422. type {
  1423. int_type_literal {
  1424. }
  1425. }
  1426. }
  1427. body {
  1428. statements {
  1429. variable_definition {
  1430. pattern {
  1431. binding_pattern {
  1432. name: "list"
  1433. type {
  1434. expression_pattern {
  1435. expression {
  1436. identifier {
  1437. name: "List"
  1438. }
  1439. }
  1440. }
  1441. }
  1442. }
  1443. }
  1444. init {
  1445. call {
  1446. function {
  1447. simple_member_access {
  1448. field: "Create"
  1449. object {
  1450. identifier {
  1451. name: "List"
  1452. }
  1453. }
  1454. }
  1455. }
  1456. argument {
  1457. tuple_literal {
  1458. }
  1459. }
  1460. }
  1461. }
  1462. is_returned: false
  1463. }
  1464. }
  1465. statements {
  1466. expression_statement {
  1467. expression {
  1468. call {
  1469. function {
  1470. simple_member_access {
  1471. field: "insert"
  1472. object {
  1473. identifier {
  1474. name: "list"
  1475. }
  1476. }
  1477. }
  1478. }
  1479. argument {
  1480. tuple_literal {
  1481. fields {
  1482. int_literal {
  1483. value: 1
  1484. }
  1485. }
  1486. }
  1487. }
  1488. }
  1489. }
  1490. }
  1491. }
  1492. statements {
  1493. expression_statement {
  1494. expression {
  1495. call {
  1496. function {
  1497. simple_member_access {
  1498. field: "insert"
  1499. object {
  1500. identifier {
  1501. name: "list"
  1502. }
  1503. }
  1504. }
  1505. }
  1506. argument {
  1507. tuple_literal {
  1508. fields {
  1509. int_literal {
  1510. value: 2
  1511. }
  1512. }
  1513. }
  1514. }
  1515. }
  1516. }
  1517. }
  1518. }
  1519. statements {
  1520. expression_statement {
  1521. expression {
  1522. call {
  1523. function {
  1524. simple_member_access {
  1525. field: "insert"
  1526. object {
  1527. identifier {
  1528. name: "list"
  1529. }
  1530. }
  1531. }
  1532. }
  1533. argument {
  1534. tuple_literal {
  1535. fields {
  1536. int_literal {
  1537. value: 3
  1538. }
  1539. }
  1540. }
  1541. }
  1542. }
  1543. }
  1544. }
  1545. }
  1546. statements {
  1547. expression_statement {
  1548. expression {
  1549. call {
  1550. function {
  1551. simple_member_access {
  1552. field: "insert"
  1553. object {
  1554. identifier {
  1555. name: "list"
  1556. }
  1557. }
  1558. }
  1559. }
  1560. argument {
  1561. tuple_literal {
  1562. fields {
  1563. int_literal {
  1564. value: 4
  1565. }
  1566. }
  1567. }
  1568. }
  1569. }
  1570. }
  1571. }
  1572. }
  1573. statements {
  1574. expression_statement {
  1575. expression {
  1576. call {
  1577. function {
  1578. simple_member_access {
  1579. field: "print"
  1580. object {
  1581. identifier {
  1582. name: "list"
  1583. }
  1584. }
  1585. }
  1586. }
  1587. argument {
  1588. tuple_literal {
  1589. }
  1590. }
  1591. }
  1592. }
  1593. }
  1594. }
  1595. statements {
  1596. expression_statement {
  1597. expression {
  1598. call {
  1599. function {
  1600. simple_member_access {
  1601. field: "clean"
  1602. object {
  1603. identifier {
  1604. name: "list"
  1605. }
  1606. }
  1607. }
  1608. }
  1609. argument {
  1610. tuple_literal {
  1611. }
  1612. }
  1613. }
  1614. }
  1615. }
  1616. }
  1617. statements {
  1618. expression_statement {
  1619. expression {
  1620. call {
  1621. function {
  1622. simple_member_access {
  1623. field: "print"
  1624. object {
  1625. identifier {
  1626. name: "list"
  1627. }
  1628. }
  1629. }
  1630. }
  1631. argument {
  1632. tuple_literal {
  1633. }
  1634. }
  1635. }
  1636. }
  1637. }
  1638. }
  1639. statements {
  1640. expression_statement {
  1641. expression {
  1642. call {
  1643. function {
  1644. simple_member_access {
  1645. field: "insert"
  1646. object {
  1647. identifier {
  1648. name: "list"
  1649. }
  1650. }
  1651. }
  1652. }
  1653. argument {
  1654. tuple_literal {
  1655. fields {
  1656. int_literal {
  1657. value: 1
  1658. }
  1659. }
  1660. }
  1661. }
  1662. }
  1663. }
  1664. }
  1665. }
  1666. statements {
  1667. expression_statement {
  1668. expression {
  1669. call {
  1670. function {
  1671. simple_member_access {
  1672. field: "insert"
  1673. object {
  1674. identifier {
  1675. name: "list"
  1676. }
  1677. }
  1678. }
  1679. }
  1680. argument {
  1681. tuple_literal {
  1682. fields {
  1683. int_literal {
  1684. value: 2
  1685. }
  1686. }
  1687. }
  1688. }
  1689. }
  1690. }
  1691. }
  1692. }
  1693. statements {
  1694. expression_statement {
  1695. expression {
  1696. call {
  1697. function {
  1698. simple_member_access {
  1699. field: "insert"
  1700. object {
  1701. identifier {
  1702. name: "list"
  1703. }
  1704. }
  1705. }
  1706. }
  1707. argument {
  1708. tuple_literal {
  1709. fields {
  1710. int_literal {
  1711. value: 3
  1712. }
  1713. }
  1714. }
  1715. }
  1716. }
  1717. }
  1718. }
  1719. }
  1720. statements {
  1721. expression_statement {
  1722. expression {
  1723. call {
  1724. function {
  1725. simple_member_access {
  1726. field: "insert"
  1727. object {
  1728. identifier {
  1729. name: "list"
  1730. }
  1731. }
  1732. }
  1733. }
  1734. argument {
  1735. tuple_literal {
  1736. fields {
  1737. int_literal {
  1738. value: 4
  1739. }
  1740. }
  1741. }
  1742. }
  1743. }
  1744. }
  1745. }
  1746. }
  1747. statements {
  1748. expression_statement {
  1749. expression {
  1750. call {
  1751. function {
  1752. simple_member_access {
  1753. field: "print"
  1754. object {
  1755. identifier {
  1756. name: "list"
  1757. }
  1758. }
  1759. }
  1760. }
  1761. argument {
  1762. tuple_literal {
  1763. }
  1764. }
  1765. }
  1766. }
  1767. }
  1768. }
  1769. statements {
  1770. return_expression_statement {
  1771. expression {
  1772. int_literal {
  1773. value: 0
  1774. }
  1775. }
  1776. }
  1777. }
  1778. }
  1779. }
  1780. }
  1781. }