8a565b071d627367b678eadfe0000ad02312a51f 6.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. class_declaration {
  8. name {
  9. name: "LazyEq"
  10. }
  11. members {
  12. variable {
  13. binding {
  14. name: "v1"
  15. type {
  16. expression_pattern {
  17. expression {
  18. int_type_literal {
  19. }
  20. }
  21. }
  22. }
  23. }
  24. }
  25. }
  26. members {
  27. variable {
  28. binding {
  29. name: "v2"
  30. type {
  31. expression_pattern {
  32. expression {
  33. int_type_literal {
  34. }
  35. }
  36. }
  37. }
  38. }
  39. }
  40. }
  41. members {
  42. impl {
  43. kind: InternalImpl
  44. impl_type {
  45. identifier {
  46. name: "Self"
  47. }
  48. }
  49. interface {
  50. call {
  51. function {
  52. identifier {
  53. name: "ImplicitAs"
  54. }
  55. }
  56. argument {
  57. tuple_literal {
  58. fields {
  59. bool_type_literal {
  60. }
  61. }
  62. }
  63. }
  64. }
  65. }
  66. members {
  67. function {
  68. name {
  69. name: "Convert"
  70. }
  71. self_pattern {
  72. binding_pattern {
  73. name: "self"
  74. type {
  75. expression_pattern {
  76. expression {
  77. identifier {
  78. name: "Self"
  79. }
  80. }
  81. }
  82. }
  83. }
  84. }
  85. param_pattern {
  86. }
  87. return_term {
  88. kind: Expression
  89. type {
  90. bool_type_literal {
  91. }
  92. }
  93. }
  94. body {
  95. statements {
  96. return_expression_statement {
  97. expression {
  98. operator {
  99. op: Eq
  100. arguments {
  101. simple_member_access {
  102. field: "v1"
  103. object {
  104. identifier {
  105. name: "self"
  106. }
  107. }
  108. }
  109. }
  110. arguments {
  111. simple_member_access {
  112. field: "v2"
  113. object {
  114. identifier {
  115. name: "self"
  116. }
  117. }
  118. }
  119. }
  120. }
  121. }
  122. }
  123. }
  124. }
  125. }
  126. }
  127. }
  128. }
  129. members {
  130. function {
  131. name {
  132. name: "Make"
  133. }
  134. param_pattern {
  135. fields {
  136. binding_pattern {
  137. name: "v1"
  138. type {
  139. expression_pattern {
  140. expression {
  141. int_type_literal {
  142. }
  143. }
  144. }
  145. }
  146. }
  147. }
  148. fields {
  149. binding_pattern {
  150. name: "v2"
  151. type {
  152. expression_pattern {
  153. expression {
  154. int_type_literal {
  155. }
  156. }
  157. }
  158. }
  159. }
  160. }
  161. }
  162. return_term {
  163. kind: Expression
  164. type {
  165. identifier {
  166. name: "Self"
  167. }
  168. }
  169. }
  170. body {
  171. statements {
  172. return_expression_statement {
  173. expression {
  174. struct_literal {
  175. fields {
  176. name: "v1"
  177. expression {
  178. identifier {
  179. name: "v1"
  180. }
  181. }
  182. }
  183. fields {
  184. name: "v2"
  185. expression {
  186. identifier {
  187. name: "v2"
  188. }
  189. }
  190. }
  191. }
  192. }
  193. }
  194. }
  195. }
  196. }
  197. }
  198. }
  199. }
  200. declarations {
  201. function {
  202. name {
  203. name: "Main"
  204. }
  205. param_pattern {
  206. }
  207. return_term {
  208. kind: Expression
  209. type {
  210. int_type_literal {
  211. }
  212. }
  213. }
  214. body {
  215. statements {
  216. if_statement {
  217. condition {
  218. call {
  219. function {
  220. simple_member_access {
  221. field: "Make"
  222. object {
  223. identifier {
  224. name: "LazyEq"
  225. }
  226. }
  227. }
  228. }
  229. argument {
  230. tuple_literal {
  231. fields {
  232. int_literal {
  233. value: 2
  234. }
  235. }
  236. fields {
  237. operator {
  238. op: Add
  239. arguments {
  240. int_literal {
  241. value: 1
  242. }
  243. }
  244. arguments {
  245. int_literal {
  246. value: 1
  247. }
  248. }
  249. }
  250. }
  251. }
  252. }
  253. }
  254. }
  255. then_block {
  256. statements {
  257. return_expression_statement {
  258. expression {
  259. int_literal {
  260. value: 1
  261. }
  262. }
  263. }
  264. }
  265. }
  266. else_block {
  267. statements {
  268. return_expression_statement {
  269. expression {
  270. int_literal {
  271. value: 2
  272. }
  273. }
  274. }
  275. }
  276. }
  277. }
  278. }
  279. }
  280. }
  281. }
  282. }