Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006391OCamlOCaml generalpublic2014-05-03 15:382014-06-04 21:24
Assigned Todoligez 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006391: [github patch] short functor type syntax (S -> T) in the non-dependent case
Description [^]

Add support for simple functor types of the form:

    S -> T

equivalent to:

    functor (_ : S) -> T

The `S` and `T` can be any module type expressions.

While not actually ambiguous there is a potential shift-reduce conflict related to with constraints:

    S with type t = int -> float


    S with type t = int -> T

This is resolved in favour of the first one (shift), meaning that the second type must be written:

    (S with type t = int) -> T
Tagsgithub, patch
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2014-05-03 15:38 gasche New Issue
2014-05-03 15:39 gasche Tag Attached: github
2014-05-03 15:39 gasche Tag Attached: patch
2014-06-04 21:24 doligez Assigned To => doligez
2014-06-04 21:24 doligez Status new => acknowledged

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker