search

delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 1 forks source link

forbid assignment to constants #52

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Add a check (in the typechecker) that constants are not assigned to.

Original issue reported on code.google.com by radugrig...@gmail.com on 27 Aug 2009 at 10:35

GoogleCodeExporter commented 9 years ago 
Also, don't allow assignments to input parameters.

Original comment by radugrig...@gmail.com on 27 Aug 2009 at 10:35