852294518955e4133ebe40d96ddd483ea675f576 24 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. interface {
  8. name {
  9. name: "Hashable"
  10. }
  11. members {
  12. function {
  13. name {
  14. name: "Hash"
  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. }
  32. return_term {
  33. kind: Expression
  34. type {
  35. int_type_literal {
  36. }
  37. }
  38. }
  39. }
  40. }
  41. }
  42. }
  43. declarations {
  44. class_declaration {
  45. name {
  46. name: "Potato"
  47. }
  48. members {
  49. impl {
  50. kind: ExternalImpl
  51. impl_type {
  52. identifier {
  53. name: "Self"
  54. }
  55. }
  56. interface {
  57. identifier {
  58. name: "Hashable"
  59. }
  60. }
  61. members {
  62. function {
  63. name {
  64. name: "Hash"
  65. }
  66. self_pattern {
  67. binding_pattern {
  68. name: "self"
  69. type {
  70. expression_pattern {
  71. expression {
  72. identifier {
  73. name: "Self"
  74. }
  75. }
  76. }
  77. }
  78. }
  79. }
  80. param_pattern {
  81. }
  82. return_term {
  83. kind: Expression
  84. type {
  85. int_type_literal {
  86. }
  87. }
  88. }
  89. body {
  90. statements {
  91. expression_statement {
  92. expression {
  93. call {
  94. function {
  95. identifier {
  96. name: "Print"
  97. }
  98. }
  99. argument {
  100. tuple_literal {
  101. fields {
  102. string_literal {
  103. value: "Potato.(Hashable.Hash)"
  104. }
  105. }
  106. }
  107. }
  108. }
  109. }
  110. }
  111. }
  112. statements {
  113. return_expression_statement {
  114. expression {
  115. int_literal {
  116. value: 1
  117. }
  118. }
  119. }
  120. }
  121. }
  122. }
  123. }
  124. }
  125. }
  126. members {
  127. function {
  128. name {
  129. name: "Hash"
  130. }
  131. self_pattern {
  132. binding_pattern {
  133. name: "self"
  134. type {
  135. expression_pattern {
  136. expression {
  137. identifier {
  138. name: "Self"
  139. }
  140. }
  141. }
  142. }
  143. }
  144. }
  145. param_pattern {
  146. }
  147. return_term {
  148. kind: Expression
  149. type {
  150. int_type_literal {
  151. }
  152. }
  153. }
  154. body {
  155. statements {
  156. expression_statement {
  157. expression {
  158. call {
  159. function {
  160. identifier {
  161. name: "Print"
  162. }
  163. }
  164. argument {
  165. tuple_literal {
  166. fields {
  167. string_literal {
  168. value: "Potato.Hash"
  169. }
  170. }
  171. }
  172. }
  173. }
  174. }
  175. }
  176. }
  177. statements {
  178. return_expression_statement {
  179. expression {
  180. int_literal {
  181. value: 2
  182. }
  183. }
  184. }
  185. }
  186. }
  187. }
  188. }
  189. }
  190. }
  191. declarations {
  192. interface {
  193. name {
  194. name: "Maker"
  195. }
  196. members {
  197. let {
  198. pattern {
  199. generic_binding {
  200. name: "Result"
  201. type {
  202. identifier {
  203. name: "Hashable"
  204. }
  205. }
  206. }
  207. }
  208. }
  209. }
  210. members {
  211. function {
  212. name {
  213. name: "Make"
  214. }
  215. param_pattern {
  216. }
  217. return_term {
  218. kind: Expression
  219. type {
  220. identifier {
  221. name: "Result"
  222. }
  223. }
  224. }
  225. }
  226. }
  227. }
  228. }
  229. declarations {
  230. impl {
  231. kind: ExternalImpl
  232. impl_type {
  233. int_type_literal {
  234. }
  235. }
  236. interface {
  237. identifier {
  238. name: "Hashable"
  239. }
  240. }
  241. members {
  242. function {
  243. name {
  244. name: "Hash"
  245. }
  246. self_pattern {
  247. binding_pattern {
  248. name: "self"
  249. type {
  250. expression_pattern {
  251. expression {
  252. identifier {
  253. name: "Self"
  254. }
  255. }
  256. }
  257. }
  258. }
  259. }
  260. param_pattern {
  261. }
  262. return_term {
  263. kind: Expression
  264. type {
  265. int_type_literal {
  266. }
  267. }
  268. }
  269. body {
  270. statements {
  271. expression_statement {
  272. expression {
  273. call {
  274. function {
  275. identifier {
  276. name: "Print"
  277. }
  278. }
  279. argument {
  280. tuple_literal {
  281. fields {
  282. string_literal {
  283. value: "i32.Hash"
  284. }
  285. }
  286. }
  287. }
  288. }
  289. }
  290. }
  291. }
  292. statements {
  293. return_expression_statement {
  294. expression {
  295. identifier {
  296. name: "self"
  297. }
  298. }
  299. }
  300. }
  301. }
  302. }
  303. }
  304. }
  305. }
  306. declarations {
  307. function {
  308. name {
  309. name: "F"
  310. }
  311. deduced_parameters {
  312. name: "T"
  313. type {
  314. where {
  315. base {
  316. identifier {
  317. name: "Maker"
  318. }
  319. }
  320. clauses {
  321. rewrite {
  322. member_name: "Result"
  323. replacement {
  324. int_type_literal {
  325. }
  326. }
  327. }
  328. }
  329. }
  330. }
  331. }
  332. param_pattern {
  333. fields {
  334. binding_pattern {
  335. name: "x"
  336. type {
  337. expression_pattern {
  338. expression {
  339. identifier {
  340. name: "T"
  341. }
  342. }
  343. }
  344. }
  345. }
  346. }
  347. }
  348. return_term {
  349. kind: Expression
  350. type {
  351. int_type_literal {
  352. }
  353. }
  354. }
  355. body {
  356. statements {
  357. return_expression_statement {
  358. expression {
  359. operator {
  360. op: Add
  361. arguments {
  362. call {
  363. function {
  364. simple_member_access {
  365. field: "Make"
  366. object {
  367. identifier {
  368. name: "T"
  369. }
  370. }
  371. }
  372. }
  373. argument {
  374. tuple_literal {
  375. }
  376. }
  377. }
  378. }
  379. arguments {
  380. int_literal {
  381. value: 1
  382. }
  383. }
  384. }
  385. }
  386. }
  387. }
  388. }
  389. }
  390. }
  391. declarations {
  392. function {
  393. name {
  394. name: "G"
  395. }
  396. deduced_parameters {
  397. name: "T"
  398. type {
  399. identifier {
  400. name: "Maker"
  401. }
  402. }
  403. }
  404. param_pattern {
  405. fields {
  406. binding_pattern {
  407. name: "x"
  408. type {
  409. expression_pattern {
  410. expression {
  411. identifier {
  412. name: "T"
  413. }
  414. }
  415. }
  416. }
  417. }
  418. }
  419. }
  420. return_term {
  421. kind: Expression
  422. type {
  423. int_type_literal {
  424. }
  425. }
  426. }
  427. body {
  428. statements {
  429. return_expression_statement {
  430. expression {
  431. call {
  432. function {
  433. simple_member_access {
  434. field: "Hash"
  435. object {
  436. call {
  437. function {
  438. simple_member_access {
  439. field: "Make"
  440. object {
  441. identifier {
  442. name: "T"
  443. }
  444. }
  445. }
  446. }
  447. argument {
  448. tuple_literal {
  449. }
  450. }
  451. }
  452. }
  453. }
  454. }
  455. argument {
  456. tuple_literal {
  457. }
  458. }
  459. }
  460. }
  461. }
  462. }
  463. }
  464. }
  465. }
  466. declarations {
  467. function {
  468. name {
  469. name: "H"
  470. }
  471. deduced_parameters {
  472. name: "T"
  473. type {
  474. where {
  475. base {
  476. identifier {
  477. name: "Maker"
  478. }
  479. }
  480. clauses {
  481. rewrite {
  482. member_name: "Result"
  483. replacement {
  484. identifier {
  485. name: "Potato"
  486. }
  487. }
  488. }
  489. }
  490. }
  491. }
  492. }
  493. param_pattern {
  494. fields {
  495. binding_pattern {
  496. name: "x"
  497. type {
  498. expression_pattern {
  499. expression {
  500. identifier {
  501. name: "T"
  502. }
  503. }
  504. }
  505. }
  506. }
  507. }
  508. }
  509. return_term {
  510. kind: Expression
  511. type {
  512. int_type_literal {
  513. }
  514. }
  515. }
  516. body {
  517. statements {
  518. return_expression_statement {
  519. expression {
  520. call {
  521. function {
  522. simple_member_access {
  523. field: "Hash"
  524. object {
  525. call {
  526. function {
  527. simple_member_access {
  528. field: "Make"
  529. object {
  530. identifier {
  531. name: "T"
  532. }
  533. }
  534. }
  535. }
  536. argument {
  537. tuple_literal {
  538. }
  539. }
  540. }
  541. }
  542. }
  543. }
  544. argument {
  545. tuple_literal {
  546. }
  547. }
  548. }
  549. }
  550. }
  551. }
  552. }
  553. }
  554. }
  555. declarations {
  556. function {
  557. name {
  558. name: "I"
  559. }
  560. deduced_parameters {
  561. name: "T"
  562. type {
  563. where {
  564. base {
  565. identifier {
  566. name: "Maker"
  567. }
  568. }
  569. clauses {
  570. rewrite {
  571. member_name: "Result"
  572. replacement {
  573. identifier {
  574. name: "Potato"
  575. }
  576. }
  577. }
  578. }
  579. }
  580. }
  581. }
  582. param_pattern {
  583. fields {
  584. binding_pattern {
  585. name: "x"
  586. type {
  587. expression_pattern {
  588. expression {
  589. identifier {
  590. name: "T"
  591. }
  592. }
  593. }
  594. }
  595. }
  596. }
  597. }
  598. return_term {
  599. kind: Expression
  600. type {
  601. int_type_literal {
  602. }
  603. }
  604. }
  605. body {
  606. statements {
  607. variable_definition {
  608. pattern {
  609. binding_pattern {
  610. name: "p"
  611. type {
  612. expression_pattern {
  613. expression {
  614. identifier {
  615. name: "Potato"
  616. }
  617. }
  618. }
  619. }
  620. }
  621. }
  622. init {
  623. struct_literal {
  624. }
  625. }
  626. is_returned: false
  627. }
  628. }
  629. statements {
  630. return_expression_statement {
  631. expression {
  632. call {
  633. function {
  634. simple_member_access {
  635. field: "Hash"
  636. object {
  637. identifier {
  638. name: "p"
  639. }
  640. }
  641. }
  642. }
  643. argument {
  644. tuple_literal {
  645. }
  646. }
  647. }
  648. }
  649. }
  650. }
  651. }
  652. }
  653. }
  654. declarations {
  655. class_declaration {
  656. name {
  657. name: "IntFactory"
  658. }
  659. members {
  660. impl {
  661. kind: InternalImpl
  662. impl_type {
  663. identifier {
  664. name: "Self"
  665. }
  666. }
  667. interface {
  668. where {
  669. base {
  670. identifier {
  671. name: "Maker"
  672. }
  673. }
  674. clauses {
  675. rewrite {
  676. member_name: "Result"
  677. replacement {
  678. int_type_literal {
  679. }
  680. }
  681. }
  682. }
  683. }
  684. }
  685. members {
  686. function {
  687. name {
  688. name: "Make"
  689. }
  690. param_pattern {
  691. }
  692. return_term {
  693. kind: Expression
  694. type {
  695. int_type_literal {
  696. }
  697. }
  698. }
  699. body {
  700. statements {
  701. return_expression_statement {
  702. expression {
  703. int_literal {
  704. value: 0
  705. }
  706. }
  707. }
  708. }
  709. }
  710. }
  711. }
  712. }
  713. }
  714. }
  715. }
  716. declarations {
  717. class_declaration {
  718. name {
  719. name: "PotatoFactory"
  720. }
  721. members {
  722. impl {
  723. kind: InternalImpl
  724. impl_type {
  725. identifier {
  726. name: "Self"
  727. }
  728. }
  729. interface {
  730. where {
  731. base {
  732. identifier {
  733. name: "Maker"
  734. }
  735. }
  736. clauses {
  737. rewrite {
  738. member_name: "Result"
  739. replacement {
  740. identifier {
  741. name: "Potato"
  742. }
  743. }
  744. }
  745. }
  746. }
  747. }
  748. members {
  749. function {
  750. name {
  751. name: "Make"
  752. }
  753. param_pattern {
  754. }
  755. return_term {
  756. kind: Expression
  757. type {
  758. identifier {
  759. name: "Potato"
  760. }
  761. }
  762. }
  763. body {
  764. statements {
  765. return_expression_statement {
  766. expression {
  767. struct_literal {
  768. }
  769. }
  770. }
  771. }
  772. }
  773. }
  774. }
  775. }
  776. }
  777. }
  778. }
  779. declarations {
  780. function {
  781. name {
  782. name: "Main"
  783. }
  784. param_pattern {
  785. }
  786. return_term {
  787. kind: Expression
  788. type {
  789. int_type_literal {
  790. }
  791. }
  792. }
  793. body {
  794. statements {
  795. variable_definition {
  796. pattern {
  797. binding_pattern {
  798. name: "f"
  799. type {
  800. expression_pattern {
  801. expression {
  802. identifier {
  803. name: "IntFactory"
  804. }
  805. }
  806. }
  807. }
  808. }
  809. }
  810. init {
  811. struct_literal {
  812. }
  813. }
  814. is_returned: false
  815. }
  816. }
  817. statements {
  818. variable_definition {
  819. pattern {
  820. binding_pattern {
  821. name: "g"
  822. type {
  823. expression_pattern {
  824. expression {
  825. identifier {
  826. name: "PotatoFactory"
  827. }
  828. }
  829. }
  830. }
  831. }
  832. }
  833. init {
  834. struct_literal {
  835. }
  836. }
  837. is_returned: false
  838. }
  839. }
  840. statements {
  841. expression_statement {
  842. expression {
  843. call {
  844. function {
  845. identifier {
  846. name: "Print"
  847. }
  848. }
  849. argument {
  850. tuple_literal {
  851. fields {
  852. string_literal {
  853. value: "{0}"
  854. }
  855. }
  856. fields {
  857. call {
  858. function {
  859. identifier {
  860. name: "F"
  861. }
  862. }
  863. argument {
  864. tuple_literal {
  865. fields {
  866. identifier {
  867. name: "f"
  868. }
  869. }
  870. }
  871. }
  872. }
  873. }
  874. }
  875. }
  876. }
  877. }
  878. }
  879. }
  880. statements {
  881. expression_statement {
  882. expression {
  883. call {
  884. function {
  885. identifier {
  886. name: "Print"
  887. }
  888. }
  889. argument {
  890. tuple_literal {
  891. fields {
  892. string_literal {
  893. value: "{0}"
  894. }
  895. }
  896. fields {
  897. call {
  898. function {
  899. identifier {
  900. name: "G"
  901. }
  902. }
  903. argument {
  904. tuple_literal {
  905. fields {
  906. identifier {
  907. name: "f"
  908. }
  909. }
  910. }
  911. }
  912. }
  913. }
  914. }
  915. }
  916. }
  917. }
  918. }
  919. }
  920. statements {
  921. expression_statement {
  922. expression {
  923. call {
  924. function {
  925. identifier {
  926. name: "Print"
  927. }
  928. }
  929. argument {
  930. tuple_literal {
  931. fields {
  932. string_literal {
  933. value: "{0}"
  934. }
  935. }
  936. fields {
  937. call {
  938. function {
  939. identifier {
  940. name: "G"
  941. }
  942. }
  943. argument {
  944. tuple_literal {
  945. fields {
  946. identifier {
  947. name: "g"
  948. }
  949. }
  950. }
  951. }
  952. }
  953. }
  954. }
  955. }
  956. }
  957. }
  958. }
  959. }
  960. statements {
  961. expression_statement {
  962. expression {
  963. call {
  964. function {
  965. identifier {
  966. name: "Print"
  967. }
  968. }
  969. argument {
  970. tuple_literal {
  971. fields {
  972. string_literal {
  973. value: "{0}"
  974. }
  975. }
  976. fields {
  977. call {
  978. function {
  979. identifier {
  980. name: "H"
  981. }
  982. }
  983. argument {
  984. tuple_literal {
  985. fields {
  986. identifier {
  987. name: "g"
  988. }
  989. }
  990. }
  991. }
  992. }
  993. }
  994. }
  995. }
  996. }
  997. }
  998. }
  999. }
  1000. statements {
  1001. expression_statement {
  1002. expression {
  1003. call {
  1004. function {
  1005. identifier {
  1006. name: "Print"
  1007. }
  1008. }
  1009. argument {
  1010. tuple_literal {
  1011. fields {
  1012. string_literal {
  1013. value: "{0}"
  1014. }
  1015. }
  1016. fields {
  1017. call {
  1018. function {
  1019. identifier {
  1020. name: "I"
  1021. }
  1022. }
  1023. argument {
  1024. tuple_literal {
  1025. fields {
  1026. identifier {
  1027. name: "g"
  1028. }
  1029. }
  1030. }
  1031. }
  1032. }
  1033. }
  1034. }
  1035. }
  1036. }
  1037. }
  1038. }
  1039. }
  1040. statements {
  1041. return_expression_statement {
  1042. expression {
  1043. int_literal {
  1044. value: 0
  1045. }
  1046. }
  1047. }
  1048. }
  1049. }
  1050. }
  1051. }
  1052. }