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

test(lua/type_inferer): add missing tests

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-17 11:17:32 -08:00
parent f586e58ac3
commit 8a13df3ce1
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
tests/lua/ty2.lua Normal file
View file

@ -0,0 +1,12 @@
local env = environment()
local inferer = type_inferer(env)
env:add_var("N", Type())
local N = Const("N")
env:add_var("a", N)
local ctx = context()
ctx = extend(ctx, "x", N)
assert(inferer(Var(0), ctx) == N)
assert(not pcall(function() inferer(Var(1), ctx) end))
inferer:clear()
assert(inferer(Var(0), ctx) == N)
assert(is_type_inferer(inferer))