This commit is contained in:
Dustin Swan 2026-03-26 21:41:18 -06:00
parent 8020f9d1a0
commit 82816e7fad
No known key found for this signature in database
GPG key ID: 30D46587E2100467

View file

@ -361,7 +361,7 @@ export function typecheck(defs: Definition[], typeDefs: TypeDefinition[] = [], c
} else {
let fnType: TypeAST = resultType;
for (let i = ctor.args.length - 1; i >= 0; i--) {
fnType = { kind: 'type-function', param: ctor.args[0], result: fnType };
fnType = { kind: 'type-function', param: ctor.args[i], result: fnType };
}
env.set(ctor.name, fnType);
}