michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix type checker for let expressions

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-08-31 14:19:24 -07:00
parent 793468072b
commit 4a28a64685
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/kernel/type_check.cpp
View file

@ -135,7 +135,7 @@ public:
expr lt = infer_type(let_value(e), ctx);
{
cache::mk_scope sc(m_cache);
r = infer_type(let_body(e), extend(ctx, let_name(e), lt, let_value(e)));
r = lower_free_vars(infer_type(let_body(e), extend(ctx, let_name(e), lt, let_value(e))), 1);
}
break;
}