📄 id.602463.mils
字号:
# 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();
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -