From e693c2de019fef80294a97ff03b30fef3c430916 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 17 Nov 2013 11:25:21 -0800 Subject: [PATCH] test(lua/name): add missing tests Signed-off-by: Leonardo de Moura --- tests/lua/n5.lua | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 tests/lua/n5.lua diff --git a/tests/lua/n5.lua b/tests/lua/n5.lua new file mode 100644 index 000000000..469e6c973 --- /dev/null +++ b/tests/lua/n5.lua @@ -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())