run-generators.test 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681
  1. # Test cases for generators and yield (compile and run)
  2. [case testYield]
  3. from typing import Generator, Iterable, Union, Tuple, Dict
  4. def yield_three_times() -> Iterable[int]:
  5. yield 1
  6. yield 2
  7. yield 3
  8. def yield_twice_and_return() -> Generator[int, None, int]:
  9. yield 1
  10. yield 2
  11. return 4
  12. def yield_while_loop() -> Generator[int, None, int]:
  13. i = 0
  14. while i < 5:
  15. if i == 3:
  16. return i
  17. yield i
  18. i += 1
  19. return -1
  20. def yield_for_loop() -> Iterable[int]:
  21. l = [i for i in range(3)]
  22. for i in l:
  23. yield i
  24. d = {k: None for k in range(3)}
  25. for k in d:
  26. yield k
  27. for i in range(3):
  28. yield i
  29. for i in range(three()):
  30. yield i
  31. def yield_with_except() -> Generator[int, None, None]:
  32. yield 10
  33. try:
  34. return
  35. except:
  36. print('Caught exception inside generator function')
  37. def complex_yield(a: int, b: str, c: float) -> Generator[Union[str, int], None, float]:
  38. x = 2
  39. while x < a:
  40. if x % 2 == 0:
  41. dummy_var = 1
  42. yield str(x) + ' ' + b
  43. dummy_var = 1
  44. else:
  45. dummy_var = 1
  46. yield x
  47. dummy_var = 1
  48. x += 1
  49. return c
  50. def yield_with_default(x: bool = False) -> Iterable[int]:
  51. if x:
  52. yield 0
  53. def yield_dict_methods(d1: Dict[int, int],
  54. d2: Dict[int, int],
  55. d3: Dict[int, int]) -> Iterable[int]:
  56. for k in d1.keys():
  57. yield k
  58. for k, v in d2.items():
  59. yield k
  60. yield v
  61. for v in d3.values():
  62. yield v
  63. def three() -> int:
  64. return 3
  65. class A(object):
  66. def __init__(self, x: int) -> None:
  67. self.x = x
  68. def generator(self) -> Iterable[int]:
  69. yield self.x
  70. def return_tuple() -> Generator[int, None, Tuple[int, int]]:
  71. yield 0
  72. return 1, 2
  73. [file driver.py]
  74. from native import (
  75. yield_three_times,
  76. yield_twice_and_return,
  77. yield_while_loop,
  78. yield_for_loop,
  79. yield_with_except,
  80. complex_yield,
  81. yield_with_default,
  82. A,
  83. return_tuple,
  84. yield_dict_methods,
  85. )
  86. from testutil import run_generator
  87. from collections import defaultdict
  88. assert run_generator(yield_three_times()) == ((1, 2, 3), None)
  89. assert run_generator(yield_twice_and_return()) == ((1, 2), 4)
  90. assert run_generator(yield_while_loop()) == ((0, 1, 2), 3)
  91. assert run_generator(yield_for_loop()) == (tuple(4 * [i for i in range(3)]), None)
  92. assert run_generator(yield_with_except()) == ((10,), None)
  93. assert run_generator(complex_yield(5, 'foo', 1.0)) == (('2 foo', 3, '4 foo'), 1.0)
  94. assert run_generator(yield_with_default()) == ((), None)
  95. assert run_generator(A(0).generator()) == ((0,), None)
  96. assert run_generator(return_tuple()) == ((0,), (1, 2))
  97. assert run_generator(yield_dict_methods({}, {}, {})) == ((), None)
  98. assert run_generator(yield_dict_methods({1: 2}, {3: 4}, {5: 6})) == ((1, 3, 4, 6), None)
  99. dd = defaultdict(int, {0: 1})
  100. assert run_generator(yield_dict_methods(dd, dd, dd)) == ((0, 0, 1, 1), None)
  101. for i in yield_twice_and_return():
  102. print(i)
  103. for i in yield_while_loop():
  104. print(i)
  105. [out]
  106. 1
  107. 2
  108. 0
  109. 1
  110. 2
  111. [case testYieldTryFinallyWith]
  112. from typing import Generator, Any
  113. class Thing:
  114. def __init__(self, x: str) -> None:
  115. self.x = x
  116. def __enter__(self) -> str:
  117. print('enter!', self.x)
  118. if self.x == 'crash':
  119. raise Exception('ohno')
  120. return self.x
  121. def __exit__(self, x: Any, y: Any, z: Any) -> None:
  122. print('exit!', self.x, y)
  123. def yield_try_finally() -> Generator[int, None, str]:
  124. try:
  125. yield 1
  126. yield 2
  127. return 'lol'
  128. except Exception:
  129. raise
  130. finally:
  131. print('goodbye!')
  132. def yield_with(i: int) -> Generator[int, None, int]:
  133. with Thing('a') as x:
  134. yield 1
  135. print("yooo?", x)
  136. if i == 0:
  137. yield 2
  138. return 10
  139. elif i == 1:
  140. raise Exception('exception!')
  141. return -1
  142. [file driver.py]
  143. from native import yield_try_finally, yield_with
  144. from testutil import run_generator
  145. print(run_generator(yield_try_finally(), p=True))
  146. print(run_generator(yield_with(0), p=True))
  147. print(run_generator(yield_with(1), p=True))
  148. [out]
  149. 1
  150. 2
  151. goodbye!
  152. ((1, 2), 'lol')
  153. enter! a
  154. 1
  155. yooo? a
  156. 2
  157. exit! a None
  158. ((1, 2), 10)
  159. enter! a
  160. 1
  161. yooo? a
  162. exit! a exception!
  163. ((1,), 'exception!')
  164. [case testYieldNested]
  165. from typing import Callable, Generator
  166. def normal(a: int, b: float) -> Callable:
  167. def generator(x: int, y: str) -> Generator:
  168. yield a
  169. yield b
  170. yield x
  171. yield y
  172. return generator
  173. def generator(a: int) -> Generator:
  174. def normal(x: int) -> int:
  175. return a + x
  176. for i in range(3):
  177. yield normal(i)
  178. def triple() -> Callable:
  179. def generator() -> Generator:
  180. x = 0
  181. def inner() -> int:
  182. x += 1
  183. return x
  184. while x < 3:
  185. yield inner()
  186. return generator
  187. def another_triple() -> Callable:
  188. def generator() -> Generator:
  189. x = 0
  190. def inner_generator() -> Generator:
  191. x += 1
  192. yield x
  193. yield next(inner_generator())
  194. return generator
  195. def outer() -> Generator:
  196. def recursive(n: int) -> Generator:
  197. if n < 10:
  198. for i in range(n):
  199. yield i
  200. return
  201. for i in recursive(5):
  202. yield i
  203. return recursive(10)
  204. [file driver.py]
  205. from native import normal, generator, triple, another_triple, outer
  206. from testutil import run_generator
  207. assert run_generator(normal(1, 2.0)(3, '4.00')) == ((1, 2.0, 3, '4.00'), None)
  208. assert run_generator(generator(1)) == ((1, 2, 3), None)
  209. assert run_generator(triple()()) == ((1, 2, 3), None)
  210. assert run_generator(another_triple()()) == ((1,), None)
  211. assert run_generator(outer()) == ((0, 1, 2, 3, 4), None)
  212. [case testYieldThrow]
  213. from typing import Generator, Iterable, Any
  214. from traceback import print_tb
  215. from contextlib import contextmanager
  216. import wrapsys
  217. def generator() -> Iterable[int]:
  218. try:
  219. yield 1
  220. yield 2
  221. yield 3
  222. except Exception as e:
  223. print_tb(wrapsys.exc_info()[2])
  224. s = str(e)
  225. if s:
  226. print('caught exception with value ' + s)
  227. else:
  228. print('caught exception without value')
  229. return 0
  230. def no_except() -> Iterable[int]:
  231. yield 1
  232. yield 2
  233. def raise_something() -> Iterable[int]:
  234. yield 1
  235. yield 2
  236. raise Exception('failure')
  237. def wrapper(x: Any) -> Any:
  238. return (yield from x)
  239. def foo() -> Generator[int, None, None]:
  240. try:
  241. yield 1
  242. except Exception as e:
  243. print(str(e))
  244. finally:
  245. print('goodbye')
  246. ctx_manager = contextmanager(foo)
  247. [file wrapsys.py]
  248. # This is a gross hack around some limitations of the test system/mypyc.
  249. from typing import Any
  250. import sys
  251. def exc_info() -> Any:
  252. return sys.exc_info() # type: ignore
  253. [file driver.py]
  254. import sys
  255. from typing import Generator, Tuple, TypeVar, Sequence
  256. from native import generator, ctx_manager, wrapper, no_except, raise_something
  257. T = TypeVar('T')
  258. U = TypeVar('U')
  259. def run_generator_and_throw(gen: Generator[T, None, U],
  260. num_times: int,
  261. value: object = None,
  262. traceback: object = None) -> Tuple[Sequence[T], U]:
  263. res = []
  264. try:
  265. for i in range(num_times):
  266. res.append(next(gen))
  267. if value is not None and traceback is not None:
  268. gen.throw(Exception, value, traceback)
  269. elif value is not None:
  270. gen.throw(Exception, value)
  271. else:
  272. gen.throw(Exception)
  273. except StopIteration as e:
  274. return (tuple(res), e.value)
  275. except Exception as e:
  276. return (tuple(res), str(e))
  277. assert run_generator_and_throw(generator(), 0, 'hello') == ((), 'hello')
  278. assert run_generator_and_throw(generator(), 3) == ((1, 2, 3), 0)
  279. assert run_generator_and_throw(generator(), 2, 'some string') == ((1, 2), 0)
  280. try:
  281. raise Exception
  282. except Exception as e:
  283. tb = sys.exc_info()[2]
  284. assert run_generator_and_throw(generator(), 1, 'some other string', tb) == ((1,), 0)
  285. assert run_generator_and_throw(wrapper(generator()), 0, 'hello') == ((), 'hello')
  286. assert run_generator_and_throw(wrapper(generator()), 3) == ((1, 2, 3), 0)
  287. assert run_generator_and_throw(wrapper(generator()), 2, 'some string') == ((1, 2), 0)
  288. # Make sure we aren't leaking exc_info
  289. assert sys.exc_info()[0] is None
  290. assert run_generator_and_throw(wrapper([1, 2, 3]), 3, 'lol') == ((1, 2, 3), 'lol')
  291. assert run_generator_and_throw(wrapper(no_except()), 2, 'lol') == ((1, 2), 'lol')
  292. assert run_generator_and_throw(wrapper(raise_something()), 3) == ((1, 2), 'failure')
  293. with ctx_manager() as c:
  294. raise Exception('exception')
  295. [out]
  296. File "native.py", line 10, in generator
  297. yield 3
  298. File "native.py", line 9, in generator
  299. yield 2
  300. File "native.py", line 8, in generator
  301. yield 1
  302. File "driver.py", line 31, in <module>
  303. raise Exception
  304. File "native.py", line 10, in generator
  305. yield 3
  306. File "native.py", line 30, in wrapper
  307. return (yield from x)
  308. File "native.py", line 9, in generator
  309. yield 2
  310. File "native.py", line 30, in wrapper
  311. return (yield from x)
  312. caught exception without value
  313. caught exception with value some string
  314. caught exception with value some other string
  315. caught exception without value
  316. caught exception with value some string
  317. exception
  318. goodbye
  319. [case testYieldSend]
  320. from typing import Generator
  321. def basic() -> Generator[int, int, int]:
  322. x = yield 1
  323. y = yield (x + 1)
  324. return y
  325. def use_from() -> Generator[int, int, int]:
  326. return (yield from basic())
  327. [file driver.py]
  328. from native import basic, use_from
  329. from testutil import run_generator
  330. assert run_generator(basic(), [5, 50]) == ((1, 6), 50)
  331. assert run_generator(use_from(), [5, 50]) == ((1, 6), 50)
  332. [case testYieldFrom]
  333. from typing import Generator, Iterator, List
  334. def basic() -> Iterator[int]:
  335. yield from [1, 2, 3]
  336. def call_next() -> int:
  337. x = [] # type: List[int]
  338. return next(iter(x))
  339. def inner(b: bool) -> Generator[int, None, int]:
  340. if b:
  341. yield from [1, 2, 3]
  342. return 10
  343. def with_return(b: bool) -> Generator[int, None, int]:
  344. x = yield from inner(b)
  345. for a in [1, 2]:
  346. pass
  347. return x
  348. [file driver.py]
  349. from native import basic, call_next, with_return
  350. from testutil import run_generator, assertRaises
  351. assert run_generator(basic()) == ((1, 2, 3), None)
  352. with assertRaises(StopIteration):
  353. call_next()
  354. assert run_generator(with_return(True)) == ((1, 2, 3), 10)
  355. assert run_generator(with_return(False)) == ((), 10)
  356. [case testNextGenerator]
  357. from typing import Iterable
  358. def f(x: int) -> int:
  359. print(x)
  360. return x
  361. def call_next_loud(l: Iterable[int], val: int) -> int:
  362. return next(i for i in l if f(i) == val)
  363. def call_next_default(l: Iterable[int], val: int) -> int:
  364. return next((i*2 for i in l if i == val), -1)
  365. def call_next_default_list(l: Iterable[int], val: int) -> int:
  366. return next((i*2 for i in l if i == val), -1)
  367. [file driver.py]
  368. from native import call_next_loud, call_next_default, call_next_default_list
  369. from testutil import assertRaises
  370. assert call_next_default([0, 1, 2], 0) == 0
  371. assert call_next_default([0, 1, 2], 1) == 2
  372. assert call_next_default([0, 1, 2], 2) == 4
  373. assert call_next_default([0, 1, 2], 3) == -1
  374. assert call_next_default([], 0) == -1
  375. assert call_next_default_list([0, 1, 2], 0) == 0
  376. assert call_next_default_list([0, 1, 2], 1) == 2
  377. assert call_next_default_list([0, 1, 2], 2) == 4
  378. assert call_next_default_list([0, 1, 2], 3) == -1
  379. assert call_next_default_list([], 0) == -1
  380. assert call_next_loud([0, 1, 2], 0) == 0
  381. assert call_next_loud([0, 1, 2], 1) == 1
  382. assert call_next_loud([0, 1, 2], 2) == 2
  383. with assertRaises(StopIteration):
  384. call_next_loud([42], 3)
  385. with assertRaises(StopIteration):
  386. call_next_loud([], 3)
  387. [out]
  388. 0
  389. 0
  390. 1
  391. 0
  392. 1
  393. 2
  394. 42
  395. [case testGeneratorSuper]
  396. from typing import Iterator, Callable, Any
  397. class A():
  398. def testA(self) -> int:
  399. return 2
  400. class B(A):
  401. def testB(self) -> Iterator[int]:
  402. x = super().testA()
  403. while True:
  404. yield x
  405. def testAsserts():
  406. b = B()
  407. b_gen = b.testB()
  408. assert next(b_gen) == 2
  409. [file driver.py]
  410. from native import testAsserts
  411. testAsserts()
  412. [case testNameClashIssues]
  413. class A:
  414. def foo(self) -> object:
  415. yield
  416. class B:
  417. def foo(self) -> object:
  418. yield
  419. class C:
  420. def foo(self) -> None:
  421. def bar(self) -> None:
  422. pass
  423. def C___foo() -> None: pass
  424. class D:
  425. def foo(self) -> None:
  426. def bar(self) -> None:
  427. pass
  428. class E:
  429. default: int
  430. switch: int
  431. [file driver.py]
  432. # really I only care it builds
  433. [case testCloseStopIterationRaised]
  434. def g() -> object:
  435. try:
  436. yield 1
  437. except GeneratorExit:
  438. raise
  439. [file driver.py]
  440. from native import g
  441. gen = g()
  442. next(gen)
  443. gen.close()
  444. [case testCloseGeneratorExitRaised]
  445. def g() -> object:
  446. yield 1
  447. [file driver.py]
  448. from native import g
  449. gen = g()
  450. next(gen)
  451. gen.close()
  452. [case testCloseGeneratorExitIgnored]
  453. def g() -> object:
  454. try:
  455. yield 1
  456. except GeneratorExit:
  457. pass
  458. yield 2
  459. [file driver.py]
  460. from native import g
  461. gen = g()
  462. next(gen)
  463. try:
  464. gen.close()
  465. except RuntimeError as e:
  466. assert str(e) == 'generator ignored GeneratorExit'
  467. else:
  468. assert False
  469. [case testCloseGeneratorRaisesAnotherException]
  470. def g() -> object:
  471. try:
  472. yield 1
  473. except GeneratorExit:
  474. raise RuntimeError("error")
  475. [file driver.py]
  476. from native import g
  477. gen = g()
  478. next(gen)
  479. try:
  480. gen.close()
  481. except RuntimeError as e:
  482. assert str(e) == 'error'
  483. else:
  484. assert False
  485. [case testBorrowingInGeneratorNearYield]
  486. from typing import Iterator
  487. class Foo:
  488. flag: bool
  489. class C:
  490. foo: Foo
  491. def genf(self) -> Iterator[None]:
  492. self.foo.flag = True
  493. yield
  494. self.foo.flag = False
  495. [case testGeneratorEarlyReturnWithBorrows]
  496. from typing import Iterator
  497. class Bar:
  498. bar = 0
  499. class Foo:
  500. bar = Bar()
  501. def f(self) -> Iterator[int]:
  502. if self:
  503. self.bar.bar += 1
  504. return
  505. yield 0
  506. [case testBorrowingInGeneratorInTupleAssignment]
  507. from typing import Iterator
  508. class Foo:
  509. flag1: bool
  510. flag2: bool
  511. class C:
  512. foo: Foo
  513. def genf(self) -> Iterator[None]:
  514. self.foo.flag1, self.foo.flag2 = True, True
  515. yield
  516. self.foo.flag1, self.foo.flag2 = False, False
  517. def test_generator() -> None:
  518. c = C()
  519. c.foo = Foo()
  520. gen = c.genf()
  521. next(gen)
  522. assert c.foo.flag1 == c.foo.flag2 == True
  523. assert list(gen) == []
  524. assert c.foo.flag1 == c.foo.flag2 == False
  525. [case testYieldInFinally]
  526. from typing import Generator
  527. def finally_yield() -> Generator[str, None, str]:
  528. try:
  529. return 'test'
  530. finally:
  531. yield 'x'
  532. [file driver.py]
  533. from native import finally_yield
  534. from testutil import run_generator
  535. yields, val = run_generator(finally_yield())
  536. assert yields == ('x',)
  537. assert val == 'test', val
  538. [case testUnreachableComprehensionNoCrash]
  539. from typing import List
  540. def list_comp() -> List[int]:
  541. if True:
  542. return [5]
  543. return [i for i in [5]]
  544. [file driver.py]
  545. from native import list_comp
  546. assert list_comp() == [5]
  547. [case testWithNative]
  548. class DummyContext:
  549. def __init__(self) -> None:
  550. self.x = 0
  551. def __enter__(self) -> None:
  552. self.x += 1
  553. def __exit__(self, exc_type, exc_value, exc_tb) -> None:
  554. self.x -= 1
  555. def test_basic() -> None:
  556. context = DummyContext()
  557. with context:
  558. assert context.x == 1
  559. assert context.x == 0