Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005607OCamlCaml web sitepublic2012-05-06 12:572014-07-16 20:20
Reportergasche 
Assigned Togasche 
PrioritynormalSeveritytextReproducibilityN/A
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target Versionafter-4.02.0Fixed in Version 
Summary0005607: FAQ suggestion: explain the interaction between (relaxed) value restriction and variance annotations
DescriptionUsers, even familiar with the language, mostly do not not about variance annotations, and in particular their interaction with the relaxed value restriction. The problem they observe is that expressions at an abstract type representing a polymorphic data structure do not get generalized as expected.

I think that would be a good addition in the FAQ, in the spirit of "A function obtained through partial application is not polymorphic enough".
Additional InformationThis problem has been discussed twice recently:
- on the caml-list
  https://sympa-roc.inria.fr/wws/arc/caml-list/2012-05/msg00032.html [^]

- on reddit:
  http://www.reddit.com/r/ocaml/comments/t8g2e/pdf_relaxing_the_value_restriction_by_jacques/c4kf68s [^]

My reddit message might be a good basis for a FAQ answer; I hope to receive additional feedback on which wording would be best.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2012-05-06 12:57 gasche New Issue
2012-05-06 12:57 gasche Assigned To => gasche
2012-05-06 12:57 gasche Status new => acknowledged
2012-09-06 16:44 doligez Target Version => 4.00.1+dev
2012-09-21 14:15 doligez Target Version 4.00.1+dev => 4.01.0+dev
2013-08-19 14:43 doligez Target Version 4.01.0+dev => 4.01.1+dev
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-07-16 20:20 doligez Target Version 4.02.0+dev => after-4.02.0


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker