You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Author Name: Nicky Ayoub
Original Redmine Issue: 39 from https://www.veripool.org
Original Date: 2008-10-23
Original Assignee: Wilson Snyder (@wsnyder)
This one is iffy. I created a quick patch to support a module I have with package scoped parameters.
The patch is extremely simple and does not handle the full set of SV productions that are needed.
I created a @packageItem@ production that points to @varDecl@. It's probably not compliant but "it works for me".
Looking at the grammar in the spec, this solution looks to be subset so I think it's safe but not complete. I will go through it more closely in the morning. Hopefully the patch lets you see where I am going with this.
As always, any pointers are appreciated!
The text was updated successfully, but these errors were encountered:
Author Name: Nicky Ayoub
Original Redmine Issue: 39 from https://www.veripool.org
Original Date: 2008-10-23
Original Assignee: Wilson Snyder (@wsnyder)
This one is iffy. I created a quick patch to support a module I have with package scoped parameters.
The patch is extremely simple and does not handle the full set of SV productions that are needed.
I created a @packageItem@ production that points to @varDecl@. It's probably not compliant but "it works for me".
Looking at the grammar in the spec, this solution looks to be subset so I think it's safe but not complete. I will go through it more closely in the morning. Hopefully the patch lets you see where I am going with this.
As always, any pointers are appreciated!
The text was updated successfully, but these errors were encountered: