7e9eeb66c47e49e06eeff2d93fb401f467c30fdf 7.3 KB

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