Commit 8eea105e authored by Emden R. Gansner's avatar Emden R. Gansner

Fix bug 2485: update dotty's parser to accept two level port syntax

parent 0f82197c
......@@ -135,12 +135,11 @@ port_location: ':' T_id
{
strcat (portstr, $2); free ($2);
}
| ':' '(' T_id ',' T_id ')'
| ':' T_id ':' T_id
{
strcat (portstr, "("); strcat (portstr, $3);
strcat (portstr, ","); strcat (portstr, $5);
strcat (portstr, ")");
free ($3), free ($5);
strcat (portstr, $2);
strcat (portstr, ":"); strcat (portstr, $4);
free ($2), free ($4);
}
;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment