dcf3bcfe2b837b1da0c48ba297e83a091fa31056 5.0 KB

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