See this test: https://github.com/arian/metac/blob/83eb0a0/metac-err/trans/MetaC-Err/tests/names.spt#L5-L13

test wildcard should be the default referred failure block [[
  MaybeError<int> f() { return Error(); }
  void g() {
    attempt {
      [[int a ?= f();]]
    } [[fail {
    }]]
  }
]] resolve #1 to #2

In the editor, #1 actually resolves to #2, but this test fails.

I tried debugging this issue, and it seems editor-resolve is invoked, but analysis-resolve fails.

Eclipse: org.eclipse.epp.package.standard.feature.feature.group 4.4.2.20150219-0708
Spoofax: org.metaborg.spoofax.eclipse 1.5.0.20151125-144048-new-spoofax-plugin
System: Linux amd64 3.13.0-68-generic

Submitted by Arian on 12 January 2016 at 10:23

On 12 January 2016 at 10:44 Gabriël Konat tagged error

On 12 January 2016 at 10:44 Gabriël Konat removed tag @gohla

Log in to post comments