ca9dec79282193d860160dd2f4bef7cdfcfd6369 4.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. impl {
  8. kind: ExternalImpl
  9. impl_type {
  10. struct_literal {
  11. }
  12. }
  13. interface {
  14. call {
  15. function {
  16. identifier {
  17. name: "EqWith"
  18. }
  19. }
  20. argument {
  21. tuple_literal {
  22. fields {
  23. struct_literal {
  24. }
  25. }
  26. }
  27. }
  28. }
  29. }
  30. members {
  31. function {
  32. name {
  33. name: "Equal"
  34. }
  35. self_pattern {
  36. binding_pattern {
  37. name: "self"
  38. type {
  39. expression_pattern {
  40. expression {
  41. identifier {
  42. name: "Self"
  43. }
  44. }
  45. }
  46. }
  47. }
  48. }
  49. param_pattern {
  50. fields {
  51. binding_pattern {
  52. name: "other"
  53. type {
  54. expression_pattern {
  55. expression {
  56. identifier {
  57. name: "Self"
  58. }
  59. }
  60. }
  61. }
  62. }
  63. }
  64. }
  65. return_term {
  66. kind: Expression
  67. type {
  68. bool_type_literal {
  69. }
  70. }
  71. }
  72. body {
  73. statements {
  74. return_expression_statement {
  75. expression {
  76. bool_literal {
  77. value: true
  78. }
  79. }
  80. }
  81. }
  82. }
  83. }
  84. }
  85. members {
  86. function {
  87. name {
  88. name: "NotEqual"
  89. }
  90. self_pattern {
  91. binding_pattern {
  92. name: "self"
  93. type {
  94. expression_pattern {
  95. expression {
  96. identifier {
  97. name: "Self"
  98. }
  99. }
  100. }
  101. }
  102. }
  103. }
  104. param_pattern {
  105. fields {
  106. binding_pattern {
  107. name: "other"
  108. type {
  109. expression_pattern {
  110. expression {
  111. identifier {
  112. name: "Self"
  113. }
  114. }
  115. }
  116. }
  117. }
  118. }
  119. }
  120. return_term {
  121. kind: Expression
  122. type {
  123. bool_type_literal {
  124. }
  125. }
  126. }
  127. body {
  128. statements {
  129. return_expression_statement {
  130. expression {
  131. bool_literal {
  132. value: false
  133. }
  134. }
  135. }
  136. }
  137. }
  138. }
  139. }
  140. }
  141. }
  142. declarations {
  143. function {
  144. name {
  145. name: "Main"
  146. }
  147. param_pattern {
  148. }
  149. return_term {
  150. kind: Expression
  151. type {
  152. int_type_literal {
  153. }
  154. }
  155. }
  156. body {
  157. statements {
  158. variable_definition {
  159. pattern {
  160. binding_pattern {
  161. name: "empty"
  162. type {
  163. auto_pattern {
  164. }
  165. }
  166. }
  167. }
  168. init {
  169. struct_literal {
  170. }
  171. }
  172. is_returned: false
  173. }
  174. }
  175. statements {
  176. if_statement {
  177. condition {
  178. operator {
  179. op: Eq
  180. arguments {
  181. identifier {
  182. name: "empty"
  183. }
  184. }
  185. arguments {
  186. struct_literal {
  187. }
  188. }
  189. }
  190. }
  191. then_block {
  192. statements {
  193. return_expression_statement {
  194. expression {
  195. int_literal {
  196. value: 0
  197. }
  198. }
  199. }
  200. }
  201. }
  202. else_block {
  203. statements {
  204. return_expression_statement {
  205. expression {
  206. int_literal {
  207. value: 1
  208. }
  209. }
  210. }
  211. }
  212. }
  213. }
  214. }
  215. }
  216. }
  217. }
  218. }