mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 11:42:49 -06:00
yet another fix for Python on Windows
This commit is contained in:
@@ -111,7 +111,10 @@ PgfExpr PgfTypechecker::Context::eabs(PgfBindType btype, PgfText *name, PgfExpr
|
|||||||
return tc->type_error("A lambda abstraction must have a function type");
|
return tc->type_error("A lambda abstraction must have a function type");
|
||||||
}
|
}
|
||||||
|
|
||||||
Scope new_scope = {.tail=scope, .var=name, .ty=pi->arg};
|
Scope new_scope;
|
||||||
|
new_scope.tail=scope;
|
||||||
|
new_scope.var=name;
|
||||||
|
new_scope.ty=pi->arg;
|
||||||
Context body_ctxt(tc,&new_scope,pi->res);
|
Context body_ctxt(tc,&new_scope,pi->res);
|
||||||
body = tc->m->match_expr(&body_ctxt, body);
|
body = tc->m->match_expr(&body_ctxt, body);
|
||||||
if (body == 0)
|
if (body == 0)
|
||||||
|
|||||||
Reference in New Issue
Block a user