Differences

This shows you the differences between two versions of the page.

--- semantics_specification [2012/02/26 11:38] – [Operator types] xjia
+++ semantics_specification [2012/03/25 13:57] (current) – [Operator types] mhwang
@@ Line 20: / Line 20: @@
 ^ ''=''             | (a,a)->a | null是任意record type |
 ^ ''||'' and ''&&'' | (int,int)->{0,1} | 短路逻辑 |
-^ ''=='' and ''!='' | (a,a)->{0,1} | record的比较是比较地址而不是值 |
+^ ''=='' and ''!='' | (a,a)->{0,1} | record/array的比较是比较地址而不是值 |
 ^ ::: | ::: | 字符串比较的是值而不是地址 |
-^ ''<'', ''<''''='', ''>'' and ''>='' | (a,a)->{0,1} | 不能比较record |
+^ ''<'', ''<''''='', ''>'' and ''>='' | (a,a)->{0,1} | 不能比较record/array |
 ^ ::: | ::: | 字符串按字典序比较 |
 ^ ''+'' | 见加法类型表 ||