7e11ddd6225ab4f5b4768bb3e57813b7d00efd49 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. interface {
  8. name {
  9. name: "I"
  10. }
  11. members {
  12. function {
  13. name {
  14. name: "F"
  15. }
  16. self_pattern {
  17. binding_pattern {
  18. name: "self"
  19. type {
  20. expression_pattern {
  21. expression {
  22. identifier {
  23. name: "Self"
  24. }
  25. }
  26. }
  27. }
  28. }
  29. }
  30. param_pattern {
  31. fields {
  32. binding_pattern {
  33. name: "t"
  34. type {
  35. expression_pattern {
  36. expression {
  37. identifier {
  38. name: "T"
  39. }
  40. }
  41. }
  42. }
  43. }
  44. }
  45. fields {
  46. binding_pattern {
  47. name: "o"
  48. type {
  49. expression_pattern {
  50. expression {
  51. identifier {
  52. name: "Self"
  53. }
  54. }
  55. }
  56. }
  57. }
  58. }
  59. }
  60. return_term {
  61. kind: Expression
  62. type {
  63. identifier {
  64. name: "Self"
  65. }
  66. }
  67. }
  68. }
  69. }
  70. }
  71. }
  72. declarations {
  73. class_declaration {
  74. name {
  75. name: "X"
  76. }
  77. members {
  78. impl {
  79. kind: InternalImpl
  80. impl_type {
  81. identifier {
  82. name: "Self"
  83. }
  84. }
  85. interface {
  86. call {
  87. function {
  88. identifier {
  89. name: "I"
  90. }
  91. }
  92. argument {
  93. tuple_literal {
  94. fields {
  95. identifier {
  96. name: "U"
  97. }
  98. }
  99. }
  100. }
  101. }
  102. }
  103. members {
  104. function {
  105. name {
  106. name: "F"
  107. }
  108. self_pattern {
  109. binding_pattern {
  110. name: "self"
  111. type {
  112. expression_pattern {
  113. expression {
  114. identifier {
  115. name: "Self"
  116. }
  117. }
  118. }
  119. }
  120. }
  121. }
  122. param_pattern {
  123. fields {
  124. binding_pattern {
  125. name: "u"
  126. type {
  127. expression_pattern {
  128. expression {
  129. identifier {
  130. name: "U"
  131. }
  132. }
  133. }
  134. }
  135. }
  136. }
  137. fields {
  138. binding_pattern {
  139. name: "o"
  140. type {
  141. expression_pattern {
  142. expression {
  143. identifier {
  144. name: "Self"
  145. }
  146. }
  147. }
  148. }
  149. }
  150. }
  151. }
  152. return_term {
  153. kind: Expression
  154. type {
  155. identifier {
  156. name: "Self"
  157. }
  158. }
  159. }
  160. body {
  161. statements {
  162. return_expression_statement {
  163. expression {
  164. struct_literal {
  165. fields {
  166. name: "m"
  167. expression {
  168. identifier {
  169. name: "u"
  170. }
  171. }
  172. }
  173. fields {
  174. name: "n"
  175. expression {
  176. operator {
  177. op: Add
  178. arguments {
  179. simple_member_access {
  180. field: "n"
  181. object {
  182. identifier {
  183. name: "self"
  184. }
  185. }
  186. }
  187. }
  188. arguments {
  189. simple_member_access {
  190. field: "n"
  191. object {
  192. identifier {
  193. name: "o"
  194. }
  195. }
  196. }
  197. }
  198. }
  199. }
  200. }
  201. }
  202. }
  203. }
  204. }
  205. }
  206. }
  207. }
  208. }
  209. }
  210. members {
  211. variable {
  212. binding {
  213. name: "m"
  214. type {
  215. expression_pattern {
  216. expression {
  217. identifier {
  218. name: "U"
  219. }
  220. }
  221. }
  222. }
  223. }
  224. }
  225. }
  226. members {
  227. variable {
  228. binding {
  229. name: "n"
  230. type {
  231. expression_pattern {
  232. expression {
  233. int_type_literal {
  234. }
  235. }
  236. }
  237. }
  238. }
  239. }
  240. }
  241. type_params {
  242. fields {
  243. generic_binding {
  244. name: "U"
  245. type {
  246. type_type_literal {
  247. }
  248. }
  249. }
  250. }
  251. }
  252. }
  253. }
  254. declarations {
  255. function {
  256. name {
  257. name: "Run"
  258. }
  259. deduced_parameters {
  260. name: "V"
  261. type {
  262. type_type_literal {
  263. }
  264. }
  265. }
  266. param_pattern {
  267. fields {
  268. binding_pattern {
  269. name: "x"
  270. type {
  271. expression_pattern {
  272. expression {
  273. identifier {
  274. name: "V"
  275. }
  276. }
  277. }
  278. }
  279. }
  280. }
  281. }
  282. return_term {
  283. kind: Expression
  284. type {
  285. tuple_literal {
  286. fields {
  287. identifier {
  288. name: "V"
  289. }
  290. }
  291. fields {
  292. identifier {
  293. name: "V"
  294. }
  295. }
  296. fields {
  297. int_type_literal {
  298. }
  299. }
  300. fields {
  301. int_type_literal {
  302. }
  303. }
  304. }
  305. }
  306. }
  307. body {
  308. statements {
  309. variable_definition {
  310. pattern {
  311. binding_pattern {
  312. name: "v"
  313. type {
  314. expression_pattern {
  315. expression {
  316. call {
  317. function {
  318. identifier {
  319. name: "X"
  320. }
  321. }
  322. argument {
  323. tuple_literal {
  324. fields {
  325. identifier {
  326. name: "V"
  327. }
  328. }
  329. }
  330. }
  331. }
  332. }
  333. }
  334. }
  335. }
  336. }
  337. init {
  338. struct_literal {
  339. fields {
  340. name: "m"
  341. expression {
  342. identifier {
  343. name: "x"
  344. }
  345. }
  346. }
  347. fields {
  348. name: "n"
  349. expression {
  350. int_literal {
  351. value: 1
  352. }
  353. }
  354. }
  355. }
  356. }
  357. is_returned: false
  358. }
  359. }
  360. statements {
  361. variable_definition {
  362. pattern {
  363. binding_pattern {
  364. name: "w"
  365. type {
  366. expression_pattern {
  367. expression {
  368. call {
  369. function {
  370. identifier {
  371. name: "X"
  372. }
  373. }
  374. argument {
  375. tuple_literal {
  376. fields {
  377. identifier {
  378. name: "V"
  379. }
  380. }
  381. }
  382. }
  383. }
  384. }
  385. }
  386. }
  387. }
  388. }
  389. init {
  390. struct_literal {
  391. fields {
  392. name: "m"
  393. expression {
  394. identifier {
  395. name: "x"
  396. }
  397. }
  398. }
  399. fields {
  400. name: "n"
  401. expression {
  402. int_literal {
  403. value: 2
  404. }
  405. }
  406. }
  407. }
  408. }
  409. is_returned: false
  410. }
  411. }
  412. statements {
  413. variable_definition {
  414. pattern {
  415. binding_pattern {
  416. name: "call"
  417. type {
  418. expression_pattern {
  419. expression {
  420. call {
  421. function {
  422. identifier {
  423. name: "X"
  424. }
  425. }
  426. argument {
  427. tuple_literal {
  428. fields {
  429. identifier {
  430. name: "V"
  431. }
  432. }
  433. }
  434. }
  435. }
  436. }
  437. }
  438. }
  439. }
  440. }
  441. init {
  442. call {
  443. function {
  444. compound_member_access {
  445. object {
  446. identifier {
  447. name: "v"
  448. }
  449. }
  450. path {
  451. compound_member_access {
  452. object {
  453. call {
  454. function {
  455. identifier {
  456. name: "X"
  457. }
  458. }
  459. argument {
  460. tuple_literal {
  461. fields {
  462. identifier {
  463. name: "V"
  464. }
  465. }
  466. }
  467. }
  468. }
  469. }
  470. path {
  471. simple_member_access {
  472. field: "F"
  473. object {
  474. call {
  475. function {
  476. identifier {
  477. name: "I"
  478. }
  479. }
  480. argument {
  481. tuple_literal {
  482. fields {
  483. identifier {
  484. name: "V"
  485. }
  486. }
  487. }
  488. }
  489. }
  490. }
  491. }
  492. }
  493. }
  494. }
  495. }
  496. }
  497. argument {
  498. tuple_literal {
  499. fields {
  500. identifier {
  501. name: "x"
  502. }
  503. }
  504. fields {
  505. identifier {
  506. name: "w"
  507. }
  508. }
  509. }
  510. }
  511. }
  512. }
  513. is_returned: false
  514. }
  515. }
  516. statements {
  517. return_expression_statement {
  518. expression {
  519. tuple_literal {
  520. fields {
  521. compound_member_access {
  522. object {
  523. identifier {
  524. name: "call"
  525. }
  526. }
  527. path {
  528. simple_member_access {
  529. field: "m"
  530. object {
  531. call {
  532. function {
  533. identifier {
  534. name: "X"
  535. }
  536. }
  537. argument {
  538. tuple_literal {
  539. fields {
  540. identifier {
  541. name: "V"
  542. }
  543. }
  544. }
  545. }
  546. }
  547. }
  548. }
  549. }
  550. }
  551. }
  552. fields {
  553. simple_member_access {
  554. field: "m"
  555. object {
  556. identifier {
  557. name: "call"
  558. }
  559. }
  560. }
  561. }
  562. fields {
  563. compound_member_access {
  564. object {
  565. identifier {
  566. name: "call"
  567. }
  568. }
  569. path {
  570. simple_member_access {
  571. field: "n"
  572. object {
  573. call {
  574. function {
  575. identifier {
  576. name: "X"
  577. }
  578. }
  579. argument {
  580. tuple_literal {
  581. fields {
  582. identifier {
  583. name: "V"
  584. }
  585. }
  586. }
  587. }
  588. }
  589. }
  590. }
  591. }
  592. }
  593. }
  594. fields {
  595. simple_member_access {
  596. field: "n"
  597. object {
  598. identifier {
  599. name: "call"
  600. }
  601. }
  602. }
  603. }
  604. }
  605. }
  606. }
  607. }
  608. }
  609. }
  610. }
  611. declarations {
  612. function {
  613. name {
  614. name: "Main"
  615. }
  616. param_pattern {
  617. }
  618. return_term {
  619. kind: Expression
  620. type {
  621. int_type_literal {
  622. }
  623. }
  624. }
  625. body {
  626. statements {
  627. variable_definition {
  628. pattern {
  629. tuple_pattern {
  630. fields {
  631. binding_pattern {
  632. name: "a"
  633. type {
  634. expression_pattern {
  635. expression {
  636. int_type_literal {
  637. }
  638. }
  639. }
  640. }
  641. }
  642. }
  643. fields {
  644. binding_pattern {
  645. name: "b"
  646. type {
  647. expression_pattern {
  648. expression {
  649. int_type_literal {
  650. }
  651. }
  652. }
  653. }
  654. }
  655. }
  656. fields {
  657. binding_pattern {
  658. name: "c"
  659. type {
  660. expression_pattern {
  661. expression {
  662. int_type_literal {
  663. }
  664. }
  665. }
  666. }
  667. }
  668. }
  669. fields {
  670. binding_pattern {
  671. name: "d"
  672. type {
  673. expression_pattern {
  674. expression {
  675. int_type_literal {
  676. }
  677. }
  678. }
  679. }
  680. }
  681. }
  682. }
  683. }
  684. init {
  685. call {
  686. function {
  687. identifier {
  688. name: "Run"
  689. }
  690. }
  691. argument {
  692. tuple_literal {
  693. fields {
  694. int_literal {
  695. value: 1
  696. }
  697. }
  698. }
  699. }
  700. }
  701. }
  702. is_returned: false
  703. }
  704. }
  705. statements {
  706. return_expression_statement {
  707. expression {
  708. operator {
  709. op: Add
  710. arguments {
  711. operator {
  712. op: Add
  713. arguments {
  714. operator {
  715. op: Add
  716. arguments {
  717. operator {
  718. op: Mul
  719. arguments {
  720. identifier {
  721. name: "a"
  722. }
  723. }
  724. arguments {
  725. int_literal {
  726. value: 1000
  727. }
  728. }
  729. }
  730. }
  731. arguments {
  732. operator {
  733. op: Mul
  734. arguments {
  735. identifier {
  736. name: "b"
  737. }
  738. }
  739. arguments {
  740. int_literal {
  741. value: 100
  742. }
  743. }
  744. }
  745. }
  746. }
  747. }
  748. arguments {
  749. operator {
  750. op: Mul
  751. arguments {
  752. identifier {
  753. name: "c"
  754. }
  755. }
  756. arguments {
  757. int_literal {
  758. value: 10
  759. }
  760. }
  761. }
  762. }
  763. }
  764. }
  765. arguments {
  766. identifier {
  767. name: "d"
  768. }
  769. }
  770. }
  771. }
  772. }
  773. }
  774. }
  775. }
  776. }
  777. }