diff options
| author | Cliff Click <cliffc@acm.org> | 2026-09-19 10:58:24 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-09-19 10:58:24 -0700 |
| commit | 0c62c5a642132fc8b2de4905bb4adce31069ece1 (patch) | |
| tree | 9621b562586e309175325f441251b92cae4cb1b9 /chapter23/src/main/java/com | |
| parent | bf3e5632ddf21c109f7ef0f61bcc62e2ed0f9d49 (diff) | |
| download | Simple-0c62c5a642132fc8b2de4905bb4adce31069ece1.tar.gz Simple-0c62c5a642132fc8b2de4905bb4adce31069ece1.zip | |
Tighter recursive-struct test
Diffstat (limited to 'chapter23/src/main/java/com')
| -rw-r--r-- | chapter23/src/main/java/com/seaofnodes/simple/type/Type.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter23/src/main/java/com/seaofnodes/simple/type/Type.java b/chapter23/src/main/java/com/seaofnodes/simple/type/Type.java index b7a8408e..fe0c33f3 100644 --- a/chapter23/src/main/java/com/seaofnodes/simple/type/Type.java +++ b/chapter23/src/main/java/com/seaofnodes/simple/type/Type.java @@ -216,7 +216,7 @@ public class Type /*implements Cloneable*/ { } // Overridden in subclasses; subclass can assume "this!=t" and java classes are same boolean eq(Type t) { return this==t; } - boolean cycle_eq(Type t) { assert _type < TCYCLIC; return eq(t); } + boolean cycle_eq(Type t) { assert _type < TCYCLIC; return _type==t._type && eq(t); } // A pair of uids int pid( Type that ) { return _uid < that._uid ? (_uid<<16 | that._uid) : (that._uid<<16 | _uid); |