hy/tests/test_hy2py.py
Kodi Arfer f332ad2eae Improve testing of hy2py
Instead of just checking that hy2py outputs a nonempty string and doesn't crash, we check that a hy2py-generated Python program works the same as the original Hy program.

This test suggests my plan to make hy2py output real Python has succeeded, so I updated NEWS accordingly.
2018-04-08 15:35:57 -07:00

121 lines
4.8 KiB
Python
Raw Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

# -*- encoding: utf-8 -*-
# Copyright 2018 the authors.
# This file is part of Hy, which is free software licensed under the Expat
# license. See the LICENSE.
import math, itertools
from hy import mangle
from hy._compat import PY36, PY37
def test_direct_import():
import tests.resources.pydemo
assert_stuff(tests.resources.pydemo)
def test_hy2py_import(tmpdir):
import subprocess
python_code = subprocess.check_output(
["hy2py", "tests/resources/pydemo.hy"]).decode("UTF-8")
path = tmpdir.join("pydemo.py")
path.write(python_code)
assert_stuff(import_from_path("pydemo", path))
def assert_stuff(m):
astor_issue101_workaround = PY37
assert m.mystring == "foofoofoo"
assert m.long_string == u"This is a very long string literal, which would surely exceed any limitations on how long a line or a string literal can be. The string literal alone exceeds 256 characters. It also has a character outside the Basic Multilingual Plane: 😂. Here's a double quote: \". Here are some escaped newlines:\n\n\nHere is a literal newline:\nCall me Ishmael. Some years ago—never mind how long precisely—having little or no money in my purse, and nothing particular to interest me on shore, I thought I would sail about a little and see the watery part of the world. It is a way I have of driving off the spleen and regulating the circulation. Whenever I find myself growing grim about the mouth; whenever it is a damp, drizzly November in my soul; whenever I find myself involuntarily pausing before coffin warehouses, and bringing up the rear of every funeral I meet; and especially whenever my hypos get such an upper hand of me, that it requires a strong moral principle to prevent me from deliberately stepping into the street, and methodically knocking peoples hats off—then, I account it high time to get to sea as soon as I can. This is my substitute for pistol and ball. With a philosophical flourish Cato throws himself upon his sword; I quietly take to the ship. There is nothing surprising in this. If they but knew it, almost all men in their degree, some time or other, cherish very nearly the same feelings towards the ocean with me."
assert getattr(m, mangle(u"identifier-that-has☝💯☝-to-be-mangled")) == "ponies"
assert m.mynumber == 3
assert m.myhex == 0x123
assert m.mylong - 1234567890987654321234567890987654320 == 1
assert m.myfloat == 3.34e15
assert math.isnan(m.mynan)
assert math.isinf(m.pinf)
assert m.pinf > 0
assert math.isinf(m.ninf)
assert m.ninf < 0
assert m.num_expr == 9
assert m.mylist == [1, 2, 3]
assert m.mytuple == ("a", "b", "c")
assert m.myset == {4, 5, 6}
assert m.mydict == {7: 8, 9: 900, 10: 15}
assert m.mylistcomp == [1, 3, 5, 7, 9]
assert m.mysetcomp == {0, 2, 4}
assert m.mydictcomp == dict(a="A", b="B", d="D", e="E")
assert type(m.mygenexpr) is type( (x for x in [1, 2, 3]) )
assert list(itertools.islice(m.mygenexpr, 5)) == [1, 3, 1, 3, 1]
assert m.attr_ref is str.upper
assert m.subscript == "l"
assert m.myslice == "el"
assert m.call == 5
assert m.comparison is True
assert m.boolexpr is True
assert m.condexpr == "y"
assert type(m.mylambda) is type(lambda x: x + "z")
assert m.mylambda("a") == "az"
assert m.augassign == 25
assert m.delstatement == ["a", "c", "d", "e"]
assert m.math is math
assert m.sqrt is math.sqrt
assert m.sine is math.sin
import datetime
assert m.timedelta is datetime.timedelta
assert m.if_block == "cd"
assert m.while_block == "xxxxe"
assert m.cont_and_break == "xyzxyzxxyzxy"
assert m.for_block == "fufifo"
assert m.caught_assertion is True
assert m.ran_finally is True
assert m.myraise == "payload"
assert m.ran_try_else is True
assert type(m.fun) is type(lambda x: x)
if not astor_issue101_workaround:
assert m.fun.__doc__ == "function docstring"
assert m.funcall1 == [
1, 2, 3, 4, ("a", "b", "c"), [("k1", "v1"), ("k2", "v2")]]
assert m.funcall2 == [
7, 8, 9, 10, (11,), [("x1", "y1"), ("x2", "y2")]]
assert m.myret == 1
assert m.myyield == ["a", "b", "c"]
assert m.mydecorated.newattr == "hello"
assert m.myglobal == 103
class C: pass
assert type(m.C1) is type(C)
if not astor_issue101_workaround:
assert m.C2.__doc__ == "class docstring"
assert issubclass(m.C2, m.C1)
assert (m.C2.attr1, m.C2.attr2, m.C2.attr3) == (5, 6, 7)
assert m.closed == ["v2", "v1"]
def import_from_path(name, path):
if PY36:
import importlib.util
spec = importlib.util.spec_from_file_location(name, path)
m = importlib.util.module_from_spec(spec)
spec.loader.exec_module(m)
else:
import imp
m = imp.load_source(name, str(path))
return m