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

test(lua/name): 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:25:21 -08:00
parent 8a13df3ce1
commit e693c2de01
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
tests/lua/n5.lua Normal file
View file

@ -0,0 +1,5 @@
assert(not pcall(function() name(mpz(10)) end))
assert(not pcall(function() name(function() return 1 end) end))
assert(Const{"x", name("y", 1), 1}:fields() == name("x", "y", 1, 1))
assert(not pcall(function() Const({"x", function() return 1 end}) end))
assert(name("x", 1):hash() == name("x", 1):hash())