The refers to in namebinding seems to not work properly yet.

Resolving works for:

  • functions

Resolving does not work for:

  • variables
  • fields
  • messagelists and messages
  • labels and gotos (untested)
Submitted by Daco Harkes on 24 April 2013 at 20:46

On 24 April 2013 at 21:21 Guido Wachsmuth commented:

In the code I sent you, variables and struct/union members should work.


On 24 April 2013 at 21:29 Daco Harkes commented:

struct/union is identical. For variables

The student code contains

Declaration(t, [v]): 
defines Variable v of type t

Our code contains the following:

Declaration(t, v): 
defines Variable v of type t

Because we desugar these declarations to multiple single declarations.

Anyway, the struct code is identical. I’ve also checked the constructors are correct.


On 24 April 2013 at 21:36 Daco Harkes tagged basec

On 4 May 2013 at 23:35 Mircea Voda commented:

Resolving now works for:

  • Fields
  • Variables
  • Messagelists and Messages

ToDo:

  • goto & labels

On 23 May 2013 at 12:43 Daco Harkes closed this issue.

Log in to post comments