test: 新增 ExpandKeywordsTest(fn/fun/func/function 专项); test_zlib 打印条件修复; WebTest 补 global 声明

This commit is contained in:
TermiNexus committed 2026-08-09 17:10:38 +08:00
1 parent a6444a4e1f
commit d4abdd4042
4 files changed
+107 -2

No files matched your search

+75
View File
@@ -0,0 +1,75 @@
from stdint import *
import t, c
import stdio
import testcheck
# ============================================================
# ExpandKeywordsTest - 验证 def 别名关键字 fn/fun/func/function
# 语义与 def 完全相同(定义/调用/嵌套/泛型/空函数体)
# ============================================================
# fn: 单参数返回
fn add_one(x: t.CInt) -> t.CInt:
return x + 1
# fun: 双参数返回
fun add_two(a: t.CInt, b: t.CInt) -> t.CInt:
return a + b
# func: 浮点参数返回
func mul_float(a: t.CDouble, b: t.CDouble) -> t.CDouble:
return a * b
# function: 内部用 def 定义再调用(别名与 def 混用)
function get_ten() -> t.CInt:
def inner() -> t.CInt:
return 10
return inner()
# fn 泛型(PEP 695 风格类型参数)
fn ident[T](x: T) -> T:
return x
# fn 空函数体(pass)
fn noop() -> t.CVoid:
pass
# fun 递归
fun fact(n: t.CInt) -> t.CInt:
if n <= 1:
return 1
return n * fact(n - 1)
# func 多语句 + 局部变量
func avg3(a: t.CDouble, b: t.CDouble, c: t.CDouble) -> t.CDouble:
total: t.CDouble = a + b + c
return total / 3.0
# func12344444 avg3(a: t.CDouble, b: t.CDouble, c: t.CDouble) -> t.CDouble:
# total: t.CDouble = a + b + c
# return total / 3.0
def main() -> t.CInt:
testcheck.begin("ExpandKeywordsTest: fn/fun/func/function")
testcheck.section("function def keywords")
testcheck.check(add_one(41) == 42, "fn add_one(41)==42", "FAIL fn add_one")
testcheck.check(add_two(20, 22) == 42, "fun add_two==42", "FAIL fun add_two")
testcheck.check(mul_float(2.5, 4.0) == 10.0, "func mul_float==10", "FAIL func mul_float")
testcheck.check(get_ten() == 10, "function get_ten==10", "FAIL function get_ten")
testcheck.check(ident(7) == 7, "fn ident[T](7)==7", "FAIL fn ident")
testcheck.check(fact(5) == 120, "fun fact(5)==120", "FAIL fun fact")
testcheck.check(avg3(1.0, 2.0, 3.0) == 2.0, "func avg3==2", "FAIL func avg3")
noop()
testcheck.check(True, "fn noop() ran", "FAIL fn noop")
return testcheck.end()
+29
View File
@@ -0,0 +1,29 @@
{
"$schema": "https://raw.githubusercontent.com/TermiNexus/TransPyC/main/schemas/project-schema.json",
"name": "ExpandKeywordsTest",
"version": "1.0.0",
"source_dir": "./App",
"build_dir": "./.tpv_build",
"compiler": {
"cmd": "llc",
"flags": ["-filetype=obj", "-relocation-model=pic"]
},
"linker": {
"cmd": "clang++",
"flags": ["-Wl,--allow-multiple-definition", "-Wl,--unresolved-symbols=ignore-in-object-files", "-lmsvcrt", "-lucrt", "-lpthread", "-lmingwex", "-lkernel32", "-luser32", "-latomic"],
"output": "ExpandKeywordsTest.exe"
},
"includes": [
"../../includes"
],
"target": {
"triple": "x86_64-pc-windows-gnu",
"datalayout": "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
},
"options": {
"slice_level": 3,
"sha1_slice_level": 1,
"target": "llvm",
"strict_mode": true
}
}
+2 -2
View File
@@ -413,7 +413,7 @@ def test_adler32():
incremental = pyzlib.zlib_adler32(BYTEPTR("lo"), 2, incremental)
printf(" adler32(\"lo\", prev) = 0x%08lX\n", incremental)
check("adler32 incremental matches one-shot", incremental == checksum, "incremental != one-shot")
printf(" Incremental == One-shot: %s\n", incremental == "YES" if checksum else "NO")
printf(" Incremental == One-shot: %s\n", incremental == checksum if checksum else "NO")
section_footer()
@@ -430,7 +430,7 @@ def test_crc32():
incremental = pyzlib.zlib_crc32(BYTEPTR("lo"), 2, incremental)
printf(" crc32(\"lo\", prev) = 0x%08lX\n", incremental)
check("crc32 incremental matches one-shot", incremental == checksum, "incremental != one-shot")
printf(" Incremental == One-shot: %s\n", incremental == "YES" if checksum else "NO")
printf(" Incremental == One-shot: %s\n", incremental == checksum if checksum else "NO")
section_footer()
+1
View File
@@ -13,6 +13,7 @@ _mbuddy: memhub.MemBuddy | t.CPtr
@t.CExport
def main() -> int:
global _mbuddy
stdio.printf("WebTest: HTTP client library test\n")
# 初始化内存管理器(16MB arena)