K-user mailing list

[Robby Findler <robby AT eecs.northwestern.edu>]

Is there a way to write down a map as part of an input program, in a way sort of like how one can write down lists? That is, I can write 

    syntax LoS ::= List{Sting,","}

 

somewhere in a program and then I can write

  "a","b","c"

in a program somewhere and get a list. I'd like to write something like:

    syntax MoS ::= Map{Sting,"|->",","}

and then I can write:

  "a" |-> 0, "b" |-> 1

and have that come out as a K map?

Robby