7bd9386f3d50152ec0aea2d05acfb75e52e8bbc8 7.9 KB

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