f332ad2eae
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.
121 lines
4.8 KiB
Python
121 lines
4.8 KiB
Python
# -*- 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 people’s 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
|