Changes between Version 7 and Version 8 of Library_IR

Timestamp:

12/11/15 12:53:45 (10 years ago)

Author:

zmanchun

Comment:

--

Library_IR

@@ -37 +37 @@
  * applies a binary operator `op` to two objects
 * `fun[lib="pointer"] $equals(x: Pointer, y: Pointer): Bool`
-* `fun[lib="pointer"] $assert_equals(x: Pointer, y: Pointer, ...)`
-  * asserts that two objects are equal to each other
-  * takes additional arguments for error message if the assertion is violated
  * equality checking
  * this function returns true iff the objects pointed to by the pointers `x` and `y` have the same type and value.
+* `fun[lib="pointer"] $assert_equals(x: Pointer, y: Pointer, ...)`
+ * asserts that two objects are equal to each other
+ * takes additional arguments for error message if the assertion is violated
 * `fun[lib="pointer"] $contains(ptr1: Pointer, ptr2: Pointer): Bool`
  * membership testing