Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001291Frama-CKernel > ACSL implementationpublic2012-10-26 16:522012-10-31 11:38
Reportercmarche 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Oxygen-20120901 
Target VersionFixed in Version 
Summary0001291: Typing rejects polymorphic logic constants
Description The followingACSL declaration should be valid axiomatic Bag { type bag; logic bag empty; } but is rejected by typing : [kernel] user error: some type variable appears only in the return type. All type variables need to occur also in the parameters types. in annotation.
Additional Information I know it is annoying to implement since it requires a full-fledged type inference algorithm. But I don't see any way to avoid it...
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2012-10-26 16:52 cmarche New Issue
2012-10-26 16:52 cmarche Status new => assigned
2012-10-26 16:52 cmarche Assigned To => virgile
2012-10-31 11:38 virgile Status assigned => acknowledged


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker