Closes #783

ooc-lang · Aug 15, 2014 · 023394f · 023394f
1 parent 453c6c6
commit 023394f
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 2 deletions.
diff --git a/source/rock/middle/Comparison.ooc b/source/rock/middle/Comparison.ooc
@@ -109,8 +109,8 @@ Comparison: class extends Expression {
 
         (lRef, rRef) := (lType getRef(), rType getRef())
 
-        lCompound := lRef instanceOf?(CoverDecl) && !lRef as CoverDecl getFromType()
-        rCompound := rRef instanceOf?(CoverDecl) && !rRef as CoverDecl getFromType()
+        lCompound := lRef instanceOf?(CoverDecl) && !lRef as CoverDecl getFromType() && lType pointerLevel() == 0
+        rCompound := rRef instanceOf?(CoverDecl) && !rRef as CoverDecl getFromType() && rType pointerLevel() == 0
 
         if(lCompound || rCompound) {
             // if either side are compound covers (structs) - it's illegal.

diff --git a/test/compiler/covers/pointer-comparison.ooc b/test/compiler/covers/pointer-comparison.ooc
@@ -0,0 +1,17 @@
+
+S: cover {
+    x, y: Int
+}
+
+main: func {
+    s := (1, 5) as S
+    a := s&
+    b := s&
+
+    if (!(a == b)) {
+        "Fail! expected a == b" println()
+        exit(1)
+    }
+
+    "Pass" println()
+}