No syntax to apply lambda expressions
ID0002196: This issue was created automatically from Mantis Issue 2196. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002196 | Frama-C | Kernel > ACSL implementation | public | 2015-12-05 | 2015-12-05 |
| Reporter | dcok@grammatech.com | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | feature | Reproducibility | N/A |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Sodium | Target Version | - | Fixed in Version | - |
Description :
ACSL 1.9 allows writing lambda expressions. They can be used in extended quantifiers. But there is no syntax to use them anywhere else, such as to apply a lambda expression to a sequence of arguments.