如何在Nemerle中定义字节数组

Question

def cmd = array [ 0x0F, 0x03 ]

这段代码定义了整数数组，所以我想要一个字节数组

有趣的是

def cmd = array [ 0x0Fb, 0x03b ]

此代码定义相同的...

如何在这里定义字节数组而不是int数组？

Answer 1

def cmd = array [ 0x0F : byte, 0x03 ]

到目前为止，

和修饰符对十六进制不起作用。