From da33269c307c8a045e548cb1df2a3281a7a0f99e Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Thu, 19 Apr 2018 17:23:44 -0700 Subject: All tests passing (except object) --- tests/collections.nom | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/collections.nom') diff --git a/tests/collections.nom b/tests/collections.nom index 855baea..60b2d25 100644 --- a/tests/collections.nom +++ b/tests/collections.nom @@ -11,7 +11,7 @@ assume (99 isn't in [1,2,3]) assume ({x:no} has key "x") assume ({x:no} doesn't have key "y") assume (not ({x:no} doesn't have key "x")) -assume ((size of [1,2,3]) = 3) +assume ((length of [1,2,3]) = 3) %list <- [1,2,3,4,5] append 6 to %list assume ((last in %list) = 6) -- cgit v1.2.3