872a1696dda48bb21c65aaf1be4c599c0ba7ecf8 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. function {
  8. name {
  9. name: "f"
  10. }
  11. param_pattern {
  12. fields {
  13. binding_pattern {
  14. name: "x"
  15. type {
  16. expression_pattern {
  17. expression {
  18. int_type_literal {
  19. }
  20. }
  21. }
  22. }
  23. }
  24. }
  25. }
  26. return_term {
  27. kind: Expression
  28. type {
  29. int_type_literal {
  30. }
  31. }
  32. }
  33. body {
  34. statements {
  35. return_expression_statement {
  36. expression {
  37. int_literal {
  38. value: 0
  39. }
  40. }
  41. }
  42. }
  43. }
  44. }
  45. }
  46. declarations {
  47. function {
  48. name {
  49. name: "Main"
  50. }
  51. param_pattern {
  52. }
  53. return_term {
  54. kind: Expression
  55. type {
  56. int_type_literal {
  57. }
  58. }
  59. }
  60. body {
  61. statements {
  62. variable_definition {
  63. pattern {
  64. binding_pattern {
  65. name: "a"
  66. type {
  67. expression_pattern {
  68. expression {
  69. int_type_literal {
  70. }
  71. }
  72. }
  73. }
  74. }
  75. }
  76. init {
  77. int_literal {
  78. value: 0
  79. }
  80. }
  81. is_returned: false
  82. }
  83. }
  84. statements {
  85. variable_definition {
  86. pattern {
  87. binding_pattern {
  88. name: "b"
  89. type {
  90. expression_pattern {
  91. expression {
  92. int_type_literal {
  93. }
  94. }
  95. }
  96. }
  97. }
  98. }
  99. init {
  100. int_literal {
  101. value: 1
  102. }
  103. }
  104. is_returned: false
  105. }
  106. }
  107. statements {
  108. expression_statement {
  109. expression {
  110. call {
  111. function {
  112. identifier {
  113. name: "f"
  114. }
  115. }
  116. argument {
  117. tuple_literal {
  118. fields {
  119. identifier {
  120. name: "a"
  121. }
  122. }
  123. }
  124. }
  125. }
  126. }
  127. }
  128. }
  129. statements {
  130. assign {
  131. lhs {
  132. identifier {
  133. name: "b"
  134. }
  135. }
  136. rhs {
  137. identifier {
  138. name: "a"
  139. }
  140. }
  141. op: Plain
  142. }
  143. }
  144. statements {
  145. return_expression_statement {
  146. expression {
  147. identifier {
  148. name: "b"
  149. }
  150. }
  151. }
  152. }
  153. }
  154. }
  155. }
  156. }