In x|.y, either y is an atom or #x is bounded by #$y . "length error" is the correct error message.
----- Original Message ----- From: "Miller, Raul D" <[EMAIL PROTECTED]> Date: Friday, July 7, 2006 12:23 pm Subject: RE: [Jbeta] spurious |. length error -- o beta > Henry Rich wrote: > > The maximum length of x is #$y > > Counter-example: > (10#0)|.0 > 0 > > Perhaps (10#0)|.1 1 should be legal. > > Or, if it remains illegal, perhaps the error should not be length > error, but something else (rank error?). ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
