Easy: Concept/realization incompatible parameter mode check

ClemsonRSRG / RESOLVE

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

https://www.cs.clemson.edu/resolve/

BSD 3-Clause "New" or "Revised" License

24 stars 16 forks source link

Easy: Concept/realization incompatible parameter mode check #451

Closed M-Sitaraman closed 3 months ago

M-Sitaraman commented 3 months ago

Realization parameter modes must follow from conceptual ones. Don't need exact match.

yushan87 commented 3 months ago

This already exists in the compiler.

https://github.com/ClemsonRSRG/RESOLVE/blob/da4017bab39e64bef66c85caab27ae5e3b01fccf/src/java/edu/clemson/rsrg/typeandpopulate/Populator.java#L1618-L1624