test: add widening test

This commit is contained in:
Shunsuke Shibayama 2023-07-26 01:45:36 +09:00
parent ecee5b7192
commit d9d355ece0
3 changed files with 57 additions and 47 deletions

94
Cargo.lock generated
View File

@ -25,9 +25,9 @@ checksum = "f26201604c87b1e01bd3d98f8d5d9a8fcbb815e8cedb41ffccbeb4bf593a35fe"
[[package]]
name = "anyhow"
version = "1.0.71"
version = "1.0.72"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9c7d0618f0e0b7e8ff11427422b64564d5fb0be1940354bfe2e0529b18a9d9b8"
checksum = "3b13c32d80ecc7ab747b80c3784bce54ee8a7a0cc4fbda9bf4cda2cf6fe90854"
[[package]]
name = "autocfg"
@ -146,14 +146,14 @@ dependencies = [
[[package]]
name = "either"
version = "1.8.1"
version = "1.9.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7fcaabb2fef8c910e7f4c7ce9f67a1283a1715879a7c230ca9d6d1ae31f16d91"
checksum = "a26ae43d7bcc3b814de94796a5e736d4029efb0ee900c12e2d54c993ad1a1e07"
[[package]]
name = "els"
version = "0.1.28-nightly.7"
source = "git+https://github.com/erg-lang/erg?branch=main#953b5806b599ae5061c1d29bb78b88cd758c9d3c"
version = "0.1.30-nightly.0"
source = "git+https://github.com/erg-lang/erg?branch=main#5dacdbbf80036e284ce3491decd094de45686666"
dependencies = [
"erg_common",
"erg_compiler",
@ -176,8 +176,8 @@ dependencies = [
[[package]]
name = "erg_common"
version = "0.6.16-nightly.7"
source = "git+https://github.com/erg-lang/erg?branch=main#953b5806b599ae5061c1d29bb78b88cd758c9d3c"
version = "0.6.18-nightly.0"
source = "git+https://github.com/erg-lang/erg?branch=main#5dacdbbf80036e284ce3491decd094de45686666"
dependencies = [
"backtrace-on-stack-overflow",
"parking_lot",
@ -186,8 +186,8 @@ dependencies = [
[[package]]
name = "erg_compiler"
version = "0.6.16-nightly.7"
source = "git+https://github.com/erg-lang/erg?branch=main#953b5806b599ae5061c1d29bb78b88cd758c9d3c"
version = "0.6.18-nightly.0"
source = "git+https://github.com/erg-lang/erg?branch=main#5dacdbbf80036e284ce3491decd094de45686666"
dependencies = [
"erg_common",
"erg_parser",
@ -195,8 +195,8 @@ dependencies = [
[[package]]
name = "erg_parser"
version = "0.6.16-nightly.7"
source = "git+https://github.com/erg-lang/erg?branch=main#953b5806b599ae5061c1d29bb78b88cd758c9d3c"
version = "0.6.18-nightly.0"
source = "git+https://github.com/erg-lang/erg?branch=main#5dacdbbf80036e284ce3491decd094de45686666"
dependencies = [
"erg_common",
"unicode-xid",
@ -281,9 +281,9 @@ dependencies = [
[[package]]
name = "itoa"
version = "1.0.8"
version = "1.0.9"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "62b02a5381cc465bd3041d84623d0fa3b66738b52b8e2fc3bab8ad63ab032f4a"
checksum = "af150ab688ff2122fcef229be89cb50dd66af9e01a4ff320cc137eecc9bacc38"
[[package]]
name = "keccak"
@ -443,9 +443,9 @@ dependencies = [
[[package]]
name = "num-traits"
version = "0.2.15"
version = "0.2.16"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "578ede34cf02f8924ab9447f50c28075b4d3e5b269972345e7e0372b38c6cdcd"
checksum = "f30b0abd723be7e2ffca1272140fac1a2f084c77ec3e123c192b66af1ee9e6c2"
dependencies = [
"autocfg",
]
@ -496,9 +496,9 @@ dependencies = [
[[package]]
name = "paste"
version = "1.0.13"
version = "1.0.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b4b27ab7be369122c218afc2079489cdcb4b517c0a3fc386ff11e1fedfcc2b35"
checksum = "de3145af08024dea9fa9914f381a17b8fc6034dfb00f3a84013f7ff43f29ed4c"
[[package]]
name = "percent-encoding"
@ -563,9 +563,9 @@ checksum = "5b40af805b3121feab8a3c29f04d8ad262fa8e0561883e7653e024ae4479e6de"
[[package]]
name = "proc-macro2"
version = "1.0.64"
version = "1.0.66"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "78803b62cbf1f46fde80d7c0e803111524b9877184cfe7c3033659490ac7a7da"
checksum = "18fb31db3f9bddb2ea821cde30a9f70117e3f119938b5ee630b7403aa6e2ead9"
dependencies = [
"unicode-ident",
]
@ -594,9 +594,9 @@ dependencies = [
[[package]]
name = "quote"
version = "1.0.29"
version = "1.0.32"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "573015e8ab27661678357f27dc26460738fd2b6c86e46f386fde94cb5d913105"
checksum = "50f3b39ccfb720540debaa0164757101c08ecb8d326b15358ce76a62c7e85965"
dependencies = [
"proc-macro2",
]
@ -669,7 +669,7 @@ dependencies = [
[[package]]
name = "ruff_source_location"
version = "0.0.0"
source = "git+https://github.com/RustPython/Parser#69d27d924c877b6f2fa5dc75c9589ab505d5b3f1"
source = "git+https://github.com/RustPython/Parser#704eb40108239a8faf9bd1d4217e8dad0ac7edb3"
dependencies = [
"memchr",
"once_cell",
@ -679,7 +679,7 @@ dependencies = [
[[package]]
name = "ruff_text_size"
version = "0.0.0"
source = "git+https://github.com/RustPython/Parser#69d27d924c877b6f2fa5dc75c9589ab505d5b3f1"
source = "git+https://github.com/RustPython/Parser#704eb40108239a8faf9bd1d4217e8dad0ac7edb3"
[[package]]
name = "rustc-demangle"
@ -705,7 +705,7 @@ dependencies = [
[[package]]
name = "rustpython-ast"
version = "0.2.0"
source = "git+https://github.com/RustPython/Parser#69d27d924c877b6f2fa5dc75c9589ab505d5b3f1"
source = "git+https://github.com/RustPython/Parser#704eb40108239a8faf9bd1d4217e8dad0ac7edb3"
dependencies = [
"is-macro",
"malachite-bigint",
@ -716,7 +716,7 @@ dependencies = [
[[package]]
name = "rustpython-parser"
version = "0.2.0"
source = "git+https://github.com/RustPython/Parser#69d27d924c877b6f2fa5dc75c9589ab505d5b3f1"
source = "git+https://github.com/RustPython/Parser#704eb40108239a8faf9bd1d4217e8dad0ac7edb3"
dependencies = [
"anyhow",
"is-macro",
@ -739,7 +739,7 @@ dependencies = [
[[package]]
name = "rustpython-parser-core"
version = "0.2.0"
source = "git+https://github.com/RustPython/Parser#69d27d924c877b6f2fa5dc75c9589ab505d5b3f1"
source = "git+https://github.com/RustPython/Parser#704eb40108239a8faf9bd1d4217e8dad0ac7edb3"
dependencies = [
"is-macro",
"memchr",
@ -749,47 +749,47 @@ dependencies = [
[[package]]
name = "ryu"
version = "1.0.14"
version = "1.0.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fe232bdf6be8c8de797b22184ee71118d63780ea42ac85b61d1baa6d3b782ae9"
checksum = "1ad4cc8da4ef723ed60bced201181d83791ad433213d8c24efffda1eec85d741"
[[package]]
name = "scopeguard"
version = "1.1.0"
version = "1.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d29ab0c6d3fc0ee92fe66e2d99f700eab17a8d57d1c1d3b748380fb20baa78cd"
checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
[[package]]
name = "semver"
version = "1.0.17"
version = "1.0.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bebd363326d05ec3e2f532ab7660680f3b02130d780c299bca73469d521bc0ed"
checksum = "b0293b4b29daaf487284529cc2f5675b8e57c61f70167ba415a463651fd6a918"
[[package]]
name = "serde"
version = "1.0.171"
version = "1.0.175"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "30e27d1e4fd7659406c492fd6cfaf2066ba8773de45ca75e855590f856dc34a9"
checksum = "5d25439cd7397d044e2748a6fe2432b5e85db703d6d097bd014b3c0ad1ebff0b"
dependencies = [
"serde_derive",
]
[[package]]
name = "serde_derive"
version = "1.0.171"
version = "1.0.175"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "389894603bd18c46fa56231694f8d827779c0951a667087194cf9de94ed24682"
checksum = "b23f7ade6f110613c0d63858ddb8b94c1041f550eab58a16b371bdf2c9c80ab4"
dependencies = [
"proc-macro2",
"quote",
"syn 2.0.25",
"syn 2.0.27",
]
[[package]]
name = "serde_json"
version = "1.0.102"
version = "1.0.103"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b5062a995d481b2308b6064e9af76011f2921c35f97b0468811ed9f6cd91dfed"
checksum = "d03b412469450d4404fe8499a268edd7f8b79fecb074b0d812ad64ca21f4031b"
dependencies = [
"itoa",
"ryu",
@ -798,13 +798,13 @@ dependencies = [
[[package]]
name = "serde_repr"
version = "0.1.14"
version = "0.1.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1d89a8107374290037607734c0b73a85db7ed80cae314b3c5791f192a496e731"
checksum = "e168eaaf71e8f9bd6037feb05190485708e019f4fd87d161b3c0a0d37daf85e5"
dependencies = [
"proc-macro2",
"quote",
"syn 2.0.25",
"syn 2.0.27",
]
[[package]]
@ -850,9 +850,9 @@ dependencies = [
[[package]]
name = "syn"
version = "2.0.25"
version = "2.0.27"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "15e3fc8c0c74267e2df136e5e5fb656a464158aa57624053375eb9c8c6e25ae2"
checksum = "b60f673f44a8255b9c8c657daf66a596d435f2da81a555b06dc644d080ba45e0"
dependencies = [
"proc-macro2",
"quote",
@ -959,9 +959,9 @@ checksum = "92888ba5573ff080736b3648696b70cafad7d250551175acbaa4e0385b3e1460"
[[package]]
name = "unicode-ident"
version = "1.0.10"
version = "1.0.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "22049a19f4a68748a168c0fc439f9516686aa045927ff767eca0a85101fb6e73"
checksum = "301abaae475aa91687eb82514b328ab47a211a533026cb25fc3e519b86adfc3c"
[[package]]
name = "unicode-normalization"

View File

@ -123,3 +123,8 @@ fn exec_call() -> Result<(), String> {
fn exec_shadowing() -> Result<(), String> {
expect("tests/shadowing.py", 0, 3)
}
#[test]
fn exec_widening() -> Result<(), String> {
expect("tests/widening.py", 0, 1)
}

5
tests/widening.py Normal file
View File

@ -0,0 +1,5 @@
b = False
if True:
b = True
if True:
b = "a" # ERR