K-user mailing list

[SITTHISAK Pakakorn <pakakorn.s AT jaist.ac.jp>]

Hi,

I have a problem creating function accepting new syntactical category as 
input.
Consider my test module, I would like to create new sort call Int8, which 
represent 8 bit-integer.
Then, I would like to create function changing 0 to 0 and non-zero to 1 for 
representing boolean value.

module TEST
       syntax Int8 ::= Lexer{[\-\+]? [0-9]} [notInRules]
                       | Lexer{[\-\+]? [0-9][0-9] } [notInRules]
                       | Lexer{[\-\+]? [1][0-1][0-9] } [notInRules]
                       | Lexer{[\-\+]? [1][2][0-7] } [notInRules]
                       | Token{"-128"} [notInRules]
        syntax Int8 ::= bool(Int8) [function]
        rule bool(0:Int8) => 0
        rule bool(1:Int8) => 1
endmodule

K compiles this successfully. However, when I run input

bool(0) 

it did not rewrite. I checked AST and found that 0 in bool(0) was Int8.

Can anybody suggest me how to solve this problem? 
I have no idea what is wrong I did.

Pakakorn