ac7cd64ec76981e445dafd5575bb4064bf58679e 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. interface {
  8. name {
  9. name: "Number"
  10. }
  11. members {
  12. function {
  13. name {
  14. name: "Zero"
  15. }
  16. param_pattern {
  17. }
  18. return_term {
  19. kind: Expression
  20. type {
  21. identifier {
  22. name: "Self"
  23. }
  24. }
  25. }
  26. }
  27. }
  28. members {
  29. function {
  30. name {
  31. name: "Add"
  32. }
  33. self_pattern {
  34. binding_pattern {
  35. name: "self"
  36. type {
  37. expression_pattern {
  38. expression {
  39. identifier {
  40. name: "Self"
  41. }
  42. }
  43. }
  44. }
  45. }
  46. }
  47. param_pattern {
  48. fields {
  49. binding_pattern {
  50. name: "other"
  51. type {
  52. expression_pattern {
  53. expression {
  54. identifier {
  55. name: "Self"
  56. }
  57. }
  58. }
  59. }
  60. }
  61. }
  62. }
  63. return_term {
  64. kind: Expression
  65. type {
  66. identifier {
  67. name: "Self"
  68. }
  69. }
  70. }
  71. }
  72. }
  73. }
  74. }
  75. declarations {
  76. class_declaration {
  77. name {
  78. name: "Point"
  79. }
  80. members {
  81. variable {
  82. binding {
  83. name: "x"
  84. type {
  85. expression_pattern {
  86. expression {
  87. identifier {
  88. name: "T"
  89. }
  90. }
  91. }
  92. }
  93. }
  94. }
  95. }
  96. members {
  97. variable {
  98. binding {
  99. name: "y"
  100. type {
  101. expression_pattern {
  102. expression {
  103. identifier {
  104. name: "T"
  105. }
  106. }
  107. }
  108. }
  109. }
  110. }
  111. }
  112. type_params {
  113. fields {
  114. generic_binding {
  115. name: "T"
  116. type {
  117. identifier {
  118. name: "Number"
  119. }
  120. }
  121. }
  122. }
  123. }
  124. }
  125. }
  126. declarations {
  127. function {
  128. name {
  129. name: "Origin"
  130. }
  131. deduced_parameters {
  132. name: "U"
  133. type {
  134. identifier {
  135. name: "Number"
  136. }
  137. }
  138. }
  139. param_pattern {
  140. fields {
  141. binding_pattern {
  142. name: "other"
  143. type {
  144. expression_pattern {
  145. expression {
  146. identifier {
  147. name: "U"
  148. }
  149. }
  150. }
  151. }
  152. }
  153. }
  154. }
  155. return_term {
  156. kind: Expression
  157. type {
  158. call {
  159. function {
  160. identifier {
  161. name: "Point"
  162. }
  163. }
  164. argument {
  165. tuple_literal {
  166. fields {
  167. identifier {
  168. name: "U"
  169. }
  170. }
  171. }
  172. }
  173. }
  174. }
  175. }
  176. body {
  177. statements {
  178. return_expression_statement {
  179. expression {
  180. struct_literal {
  181. fields {
  182. name: "x"
  183. expression {
  184. call {
  185. function {
  186. simple_member_access {
  187. field: "Zero"
  188. object {
  189. identifier {
  190. name: "U"
  191. }
  192. }
  193. }
  194. }
  195. argument {
  196. tuple_literal {
  197. }
  198. }
  199. }
  200. }
  201. }
  202. fields {
  203. name: "y"
  204. expression {
  205. call {
  206. function {
  207. simple_member_access {
  208. field: "Zero"
  209. object {
  210. identifier {
  211. name: "U"
  212. }
  213. }
  214. }
  215. }
  216. argument {
  217. tuple_literal {
  218. }
  219. }
  220. }
  221. }
  222. }
  223. }
  224. }
  225. }
  226. }
  227. }
  228. }
  229. }
  230. declarations {
  231. function {
  232. name {
  233. name: "Clone"
  234. }
  235. deduced_parameters {
  236. name: "U"
  237. type {
  238. identifier {
  239. name: "Number"
  240. }
  241. }
  242. }
  243. param_pattern {
  244. fields {
  245. binding_pattern {
  246. name: "other"
  247. type {
  248. expression_pattern {
  249. expression {
  250. call {
  251. function {
  252. identifier {
  253. name: "Point"
  254. }
  255. }
  256. argument {
  257. tuple_literal {
  258. fields {
  259. identifier {
  260. name: "U"
  261. }
  262. }
  263. }
  264. }
  265. }
  266. }
  267. }
  268. }
  269. }
  270. }
  271. }
  272. return_term {
  273. kind: Expression
  274. type {
  275. call {
  276. function {
  277. identifier {
  278. name: "Point"
  279. }
  280. }
  281. argument {
  282. tuple_literal {
  283. fields {
  284. identifier {
  285. name: "U"
  286. }
  287. }
  288. }
  289. }
  290. }
  291. }
  292. }
  293. body {
  294. statements {
  295. return_expression_statement {
  296. expression {
  297. struct_literal {
  298. fields {
  299. name: "x"
  300. expression {
  301. simple_member_access {
  302. field: "x"
  303. object {
  304. identifier {
  305. name: "other"
  306. }
  307. }
  308. }
  309. }
  310. }
  311. fields {
  312. name: "y"
  313. expression {
  314. simple_member_access {
  315. field: "y"
  316. object {
  317. identifier {
  318. name: "other"
  319. }
  320. }
  321. }
  322. }
  323. }
  324. }
  325. }
  326. }
  327. }
  328. }
  329. }
  330. }
  331. declarations {
  332. function {
  333. name {
  334. name: "SumXY"
  335. }
  336. deduced_parameters {
  337. name: "U"
  338. type {
  339. identifier {
  340. name: "Number"
  341. }
  342. }
  343. }
  344. param_pattern {
  345. fields {
  346. binding_pattern {
  347. name: "other"
  348. type {
  349. expression_pattern {
  350. expression {
  351. call {
  352. function {
  353. identifier {
  354. name: "Point"
  355. }
  356. }
  357. argument {
  358. tuple_literal {
  359. fields {
  360. identifier {
  361. name: "U"
  362. }
  363. }
  364. }
  365. }
  366. }
  367. }
  368. }
  369. }
  370. }
  371. }
  372. }
  373. return_term {
  374. kind: Expression
  375. type {
  376. identifier {
  377. name: "U"
  378. }
  379. }
  380. }
  381. body {
  382. statements {
  383. return_expression_statement {
  384. expression {
  385. call {
  386. function {
  387. simple_member_access {
  388. field: "Add"
  389. object {
  390. simple_member_access {
  391. field: "x"
  392. object {
  393. identifier {
  394. name: "other"
  395. }
  396. }
  397. }
  398. }
  399. }
  400. }
  401. argument {
  402. tuple_literal {
  403. fields {
  404. simple_member_access {
  405. field: "y"
  406. object {
  407. identifier {
  408. name: "other"
  409. }
  410. }
  411. }
  412. }
  413. }
  414. }
  415. }
  416. }
  417. }
  418. }
  419. }
  420. }
  421. }
  422. declarations {
  423. impl {
  424. kind: ExternalImpl
  425. impl_type {
  426. int_type_literal {
  427. }
  428. }
  429. interface {
  430. identifier {
  431. name: "Number"
  432. }
  433. }
  434. members {
  435. function {
  436. name {
  437. name: "Zero"
  438. }
  439. param_pattern {
  440. }
  441. return_term {
  442. kind: Expression
  443. type {
  444. int_type_literal {
  445. }
  446. }
  447. }
  448. body {
  449. statements {
  450. return_expression_statement {
  451. expression {
  452. int_literal {
  453. value: 0
  454. }
  455. }
  456. }
  457. }
  458. }
  459. }
  460. }
  461. members {
  462. function {
  463. name {
  464. name: "Add"
  465. }
  466. self_pattern {
  467. binding_pattern {
  468. name: "self"
  469. type {
  470. expression_pattern {
  471. expression {
  472. int_type_literal {
  473. }
  474. }
  475. }
  476. }
  477. }
  478. }
  479. param_pattern {
  480. fields {
  481. binding_pattern {
  482. name: "other"
  483. type {
  484. expression_pattern {
  485. expression {
  486. int_type_literal {
  487. }
  488. }
  489. }
  490. }
  491. }
  492. }
  493. }
  494. return_term {
  495. kind: Expression
  496. type {
  497. int_type_literal {
  498. }
  499. }
  500. }
  501. body {
  502. statements {
  503. return_expression_statement {
  504. expression {
  505. operator {
  506. op: Add
  507. arguments {
  508. identifier {
  509. name: "self"
  510. }
  511. }
  512. arguments {
  513. identifier {
  514. name: "other"
  515. }
  516. }
  517. }
  518. }
  519. }
  520. }
  521. }
  522. }
  523. }
  524. }
  525. }
  526. declarations {
  527. function {
  528. name {
  529. name: "Main"
  530. }
  531. param_pattern {
  532. }
  533. return_term {
  534. kind: Expression
  535. type {
  536. int_type_literal {
  537. }
  538. }
  539. }
  540. body {
  541. statements {
  542. variable_definition {
  543. pattern {
  544. binding_pattern {
  545. name: "p"
  546. type {
  547. expression_pattern {
  548. expression {
  549. call {
  550. function {
  551. identifier {
  552. name: "Point"
  553. }
  554. }
  555. argument {
  556. tuple_literal {
  557. fields {
  558. int_type_literal {
  559. }
  560. }
  561. }
  562. }
  563. }
  564. }
  565. }
  566. }
  567. }
  568. }
  569. init {
  570. call {
  571. function {
  572. identifier {
  573. name: "Origin"
  574. }
  575. }
  576. argument {
  577. tuple_literal {
  578. fields {
  579. int_literal {
  580. value: 0
  581. }
  582. }
  583. }
  584. }
  585. }
  586. }
  587. is_returned: false
  588. }
  589. }
  590. statements {
  591. return_expression_statement {
  592. expression {
  593. call {
  594. function {
  595. identifier {
  596. name: "SumXY"
  597. }
  598. }
  599. argument {
  600. tuple_literal {
  601. fields {
  602. call {
  603. function {
  604. identifier {
  605. name: "Clone"
  606. }
  607. }
  608. argument {
  609. tuple_literal {
  610. fields {
  611. identifier {
  612. name: "p"
  613. }
  614. }
  615. }
  616. }
  617. }
  618. }
  619. }
  620. }
  621. }
  622. }
  623. }
  624. }
  625. }
  626. }
  627. }
  628. }