8e575a88fb791bc74ca549a648e40595728c462e 7.7 KB

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