如何在Rascal中将值类型转换为Map?

San*_*llo 4 map rascal

我有一个存储地图的类型值变量,但我无法通过提供键来访问这些值:

rascal>a
value: ("s":"s")

rascal>a["s"]
|stdin:///|(2,3,<1,2>,<1,5>): subscript not supported on value at |stdin:///|(2,3,<1,2>,<1,5>)
? Advice
Run Code Online (Sandbox Code Playgroud)

如何解析值以映射以便能够检索我的值?

Jur*_*nju 5

if (map[str,str] myMap := a) {
   // do stuff with myMap
}
else {
  throw "<a> is not a map?";
}
Run Code Online (Sandbox Code Playgroud)