OCaml Forge
SCM

Detail: [#105] Constraint generation for record expressions with default

Bugs: Browse | Download .csv | Monitor

[#105] Constraint generation for record expressions with default

Date:
2008-11-15 10:36
Priority:
3
State:
Open
Submitted by:
Benedikt Becker (benusb)
Assigned to:
Nobody (None)
Hardware:
None
Resolution:
None
Severity:
None
Version:
None
Component:
None
Operating System:
None
Product:
None
 
URL:
Summary:
Constraint generation for record expressions with default

Detailed description
like { (exp) with f1=e1; ... }

Followup

No Followups Have Been Posted

Attached Files:

Changes:

No Changes Have Been Made to This Item