Differences

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

--- semantics_specification [2012/03/25 13:55] – [Operator types] mhwang
+++ semantics_specification [2012/03/25 13:57] (current) – [Operator types] mhwang
@@ Line 18: / Line 18: @@
 ^ ^ 类型映射 ^ 说明 |
 ^ '',''             | (a,b)->b |
-^ ''=''             | (a,a)->a | null是任意record type或array type |
+^ ''=''             | (a,a)->a | null是任意record type |
 ^ ''||'' and ''&&'' | (int,int)->{0,1} | 短路逻辑 |
 ^ ''=='' and ''!='' | (a,a)->{0,1} | record/array的比较是比较地址而不是值 |