我正在尝试使用fgl
作为this paper中无标签最终嵌入玩具EDSL的后端。我正在使用NodeMap
接口来构建4.2节中描述的DAG,并且遇到了一个错误,可以通过这个小例子来提取:
*ExpFgl> run_ empty ((insMapNodeM 1) >> (insMapNodeM 1)) :: Gr Int ()
*** Exception: Node Exception, Node: 1
我阅读文档的方式,第一个(insMapNodeM 1)
应该成功,第二个应该在NodeMap
中找到1并且基本上什么都不做。但是,我得到了这个例外。我是做错了,还是这个错误?
答案 0 :(得分:2)
行为似乎未定义,可能基于底层DynGraph
实例的行为。您能否请使用Data.Graph.Inductive.PatriciaTree
再试一次,看看是否有效?