--- trunk/src/basis/basis-names.sml	2010/05/24 22:31:49	78
+++ trunk/src/basis/basis-names.sml	2010/05/25 01:55:48	79
@@ -9,7 +9,7 @@
 structure BasisNames =
   struct
 
-  (* operators *)
+  (* binary operators *)
     val op_at = Atom.atom "@"
     val op_add = Atom.atom "+"
     val op_sub = Atom.atom "-"
@@ -17,13 +17,16 @@
     val op_div = Atom.atom "/"
     val op_lt = Atom.atom "<"
     val op_lte = Atom.atom "<="
-    val op_eql = Atom.atom "=="
+    val op_equ = Atom.atom "=="
     val op_neq = Atom.atom "!="
     val op_gte = Atom.atom ">="
     val op_gt = Atom.atom ">"
+    val op_subscript = Atom.atom "[]"
+
+  (* unary operators *)
+    val op_neg = Atom.atom "unary -"
+    val op_not = Atom.atom "!"
     val op_D = Atom.atom "D"
-    val op_orelse = Atom.atom "||"
-    val op_andalso = Atom.atom "&&"
     val op_norm = Atom.atom "|()|"
 
   (* function names *)

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: &quot;
-    val op_andalso = Atom.atom &quot;&amp;&amp;&quot;
     val op_norm = Atom.atom &quot;|()|&quot;
 
   (* function names *)</div>
</div></div>
</body></html>