Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007409OCamltypingpublic2016-11-12 16:192017-03-15 02:59
Reportergasche 
Assigned To 
PrioritynoneSeverityfeatureReproducibilityhave not tried
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Versionundecided 
Target VersionFixed in Version 
Summary0007409: meta-issue on type and path propagation
DescriptionThis meta-issue is meant to gather and reference issues that are related to the propagation of type information or type annotation during type-checking (typically for GADT typing and for disambiguation of type-ambiguous variant constructors and fields), as well as more syntactic techniques that also correspond to a propagation of path information (eg. turning { M.x = e1; y = e2 } into { M.x = e1; M.y = e2 }).
TagsNo tags attached.
Attached Files

- Relationships
parent of 0007386acknowledged In or-patterns, propagate path disambiguation from one prefixed constructor to other constructors 
parent of 0007388acknowledgedgarrigue Strenghten type propagation in -principal mode 
parent of 0007389acknowledgedgarrigue Can type-information flow be strengthened for non-recursive lets? 
parent of 0006784acknowledged Use all constructors listed in a pattern matching to resolve ambiguity 
Not all the children of this issue are yet resolved or closed.

-  Notes
(0016563)
gasche (developer)
2016-11-12 16:27

In GPR#285 ( https://github.com/ocaml/ocaml/pull/285 [^] ), Frédéric Bour proposed to propagate when typing the argument of an application the result of unifying the expected return type of the application with the function-result type obtained by inferred the applied function expression.

- Issue History
Date Modified Username Field Change
2016-11-12 16:19 gasche New Issue
2016-11-12 16:19 gasche Status new => confirmed
2016-11-12 16:20 gasche Relationship added parent of 0007386
2016-11-12 16:20 gasche Relationship added parent of 0007388
2016-11-12 16:20 gasche Relationship added parent of 0007389
2016-11-12 16:21 gasche Relationship added parent of 0006784
2016-11-12 16:27 gasche Note Added: 0016563
2017-02-23 16:45 doligez Category OCaml typing => typing
2017-03-15 02:59 garrigue Severity minor => feature


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker