K-user mailing list

[William Mansky <mansky1 AT illinois.edu>]

I'm working on writing some K definitions for a custom language, and I'm 
running into some weird errors. In particular, I'm trying to use the stdin 
stream to input some data from the user, but it seems like any input 
involving user-defined syntax fails to parse. I've shown a minimal example 
below. Does anyone know whether I'm making a mistake here, or whether this is 
a limitation of the current version of K?


module DUD

  syntax Type ::= "word"

  configuration <T color="yellow">
                  <k> .K </k>
                  <in color="magenta" stream="stdin"> .List </in>
                  <data> .K </data>
                </T>

  rule <in> ListItem(X:Type) => . ...</in>
       <data> . => X </data>

endmodule


When I run a sample program (the content is ignored, so irrelevant) and enter "word" (without the quotes), the result 
is a stuck configuration containing the term #parseToken("Type", "word") in <in>, rather than, as I'd 
hope, the term "word" in <data>. Any advice would be appreciated.


Thanks,
William