多次插入节点时,FGL NodeMap崩溃

时间:2011-11-10 00:16:40

标签: haskell

我正在尝试使用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并且基本上什么都不做。但是,我得到了这个例外。我是做错了,还是这个错误?

1 个答案:

答案 0 :(得分:2)

行为似乎未定义,可能基于底层DynGraph实例的行为。您能否请使用Data.Graph.Inductive.PatriciaTree再试一次,看看是否有效?