sfja/ethos
1
0
Fork 0
Code Pull Requests Actions Activity

generics not implemented
All checks were successful
Check / Explore-Gitea-Actions (push) Successful in 8s
Details

Browse Source
This commit is contained in:
sfja 2026-04-16 13:36:38 +02:00
parent f3315e9c31
commit 6162c8e042
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/front/check.ts
View File

@ -470,6 +470,10 @@ class TypeChecker {
const callableTy = calleeTy.callableTy(); const callableTy = calleeTy.callableTy();
if (callableTy.kind.generics !== null) { if (callableTy.kind.generics !== null) {
((() => {
throw new Error("generics not implemented");
}) as () => void)();
let generics: Ty[]; let generics: Ty[];
if (k.generics) { if (k.generics) {
generics = k.generics.map((ty) => this.ty(ty)); generics = k.generics.map((ty) => this.ty(ty));