From 5d463fd7afc11a9665ebd82dc6741d3818d17652 Mon Sep 17 00:00:00 2001 From: Ted Blackman Date: Thu, 1 Aug 2019 13:14:29 -0700 Subject: [PATCH] +test-slam-wa-wet comments --- pkg/arvo/tests/sys/hoon/vases.hoon | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/pkg/arvo/tests/sys/hoon/vases.hoon b/pkg/arvo/tests/sys/hoon/vases.hoon index 67bd117f0..f08899c75 100644 --- a/pkg/arvo/tests/sys/hoon/vases.hoon +++ b/pkg/arvo/tests/sys/hoon/vases.hoon @@ -5,8 +5,16 @@ %+ expect-eq !>(7) -:(~(slam wa *worm) !>(add) !>([3 4])) +:: +test-slam-wa-wet: does +slam:wa perform correct wet type inference? +:: +:: Also test that the cache doesn't gain any new entries when given a +:: sample of a previously seen type. :: ++ test-slam-wa-wet ^- tang + :: use the same .list-type for both calls + :: + :: Types defined on different lines won't be noun-equal, and so + :: won't test that the cache kicked in on the second entry. :: =/ list-type=type -:!>(*(list @)) =| worm0=worm