Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007819OCamltoplevelpublic2018-07-11 18:052018-07-11 18:05
ReporterArmael 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
Product Version4.07.0 
Target VersionFixed in Version 
Summary0007819: Dummy location reported for type error in toplevel declaration involving private
DescriptionThe following toplevel phrase produces a type error with a dummy location:

$ TERM=dumb ocaml

# type 'a t = private < x : int; .. > as 'a;;
Characters -1--1:
  type 'a t = private < x : int; .. > as 'a;;
  
Error: Type declarations do not match:
         type 'a t = private < x : int; .. > constraint 'a = 'a t
       is not included in
         type 'a t
       Their constraints differ.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2018-07-11 18:05 Armael New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker