跳到内容

为ImplicitParams更新inert_solved_dicts

请求合并捆/ghc:T23761 进入之内主人

当向惰性集合添加隐式参数字典时,我们必须确保它替换了以前的任何隐式参数字典重叠,以获得适当的阴影行为,如

 ?x个 = 1 在里面  ?x个 = 2 在里面 ?x个

我们已经这样做了惰性罐,但我们没有做同样的事事物惰性已解决的碎片,导致中报告的错误#23761(关闭).

因此,修复方法是确保在处理隐式参数时字典在updInertDicts(更新惯性指令),我们更新二者都 惰性罐惰性已解决的碎片确保新的隐式参数字典正确地阴影旧的。

合并请求报告