Skip to content

Commit e259e13

Browse files
committed
hse methods have limited syntax
1 parent 225fbc6 commit e259e13

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

std/channel.act

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -886,9 +886,9 @@ defchan bd_memaddr <: chan(int<M+2>) (bool?! d[M]; bool?! r, w, rw; bool!? a)
886886
/*-- set output data --*/
887887
set {
888888
(,i:M: [((self >> (i+2)) & 1) = 0 -> d[i]- [] else -> d[i]+ ]);
889-
[self{1..0} = 0 -> w+
890-
[]self{1..0} = 1 -> r+
891-
[]self{1..0} = 2 -> rw+
889+
[(self & 0x3) = 0 -> w+
890+
[](self & 0x3) = 1 -> r+
891+
[](self & 0x3) = 2 -> rw+
892892
]
893893
}
894894

0 commit comments

Comments
 (0)