id.602463.mils

来自「一个内存数据库的源代码这是服务器端还有客户端」· MILS 代码 · 共 25 行

# Date:		2002-08-30 08:04
# Priority:	5
# Submitted By:	Arjen P. de Vries (apdv)
# Assigned To:	Niels Nes (nielsnes)
# Category:	None
# Status:	Closed
# Summary:
# join uses wrong column (?)
# 
# a join with a .reverse.mirror-ed void-oid-bat gives a 
# non-empty 
# result while it should have been empty. 

var t1 := new(void,oid).seqbase(oid(0)).insert(oid(0),oid(10));
var t2 := new(void,int).seqbase(oid(0)).insert(oid(0),1);

printf("LHS:\n");
t1.reverse().mirror().print();
printf("RHS:\n");
t2.print();
printf("Result (should be empty):\n");
t1.reverse();
join(t1.mirror(),t2).print();