Name Binding in SDF does not handle module and sort parameters
Current name binding rules do not handle sort parameters, e.g.
context-free syntax A -> A[P]gives an unresolved reference error on
Submitted by Guido Wachsmuth on 21 September 2013 at 09:31P. A simple solution might be to not report errors on parameters. A solid solution needs to consider module parameters and their instantiations in imports.
Issue Log
On 21 September 2013 at 09:31 Guido Wachsmuth tagged @gohla
On 21 September 2013 at 09:31 Guido Wachsmuth tagged sdf
On 21 September 2013 at 09:31 Guido Wachsmuth tagged editor
On 21 September 2013 at 09:32 Guido Wachsmuth removed tag editor
On 7 October 2013 at 14:51 Gabriël Konat removed tag @gohla
Log in to post comments