Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007828OCamltypingpublic2018-07-20 17:002018-09-03 11:26
Reportertrefis 
Assigned Togasche 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.06.1 
Target VersionFixed in Version4.08.0+dev 
Summary0007828: Interaction between [@@unboxed] and primitives
DescriptionNoticed on 4.06 by Stefan Muenzel, reproduced on trunk.

        OCaml version 4.06.1

# type t = I of int [@@unboxed] [@@immediate];;
type t = I of int [@@immediate] [@@unboxed]
# external id : t -> t = "%identity";;
Characters 0-34:
  external id : t -> t = "%identity";;
  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 61: This primitive declaration uses type t, which is unannotated and
unboxable. The representation of such types may change in future
versions. You should annotate the declaration of t with [@@boxed]
or [@@unboxed].
Characters 0-34:
  external id : t -> t = "%identity";;
  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 61: This primitive declaration uses type t, which is unannotated and
unboxable. The representation of such types may change in future
versions. You should annotate the declaration of t with [@@boxed]
or [@@unboxed].
external id : t -> t = "%identity"
# external id : (t [@unboxed]) -> (t [@unboxed]) = "%identity";;
Characters 15-16:
  external id : (t [@unboxed]) -> (t [@unboxed]) = "%identity";;
                 ^
Error: Don't know how to unbox this type. Only float, int32, int64 and nativeint can be unboxed
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0019330)
smuenzel-js (reporter)
2018-09-03 06:54
edited on: 2018-09-03 11:25

Fixed by GPR#1935:

  https://github.com/ocaml/ocaml/pull/1935 [^]


- Issue History
Date Modified Username Field Change
2018-07-20 17:00 trefis New Issue
2018-09-03 06:54 smuenzel-js Note Added: 0019330
2018-09-03 11:25 gasche Note Edited: 0019330 View Revisions
2018-09-03 11:26 gasche Status new => resolved
2018-09-03 11:26 gasche Fixed in Version => 4.08.0+dev
2018-09-03 11:26 gasche Resolution open => fixed
2018-09-03 11:26 gasche Assigned To => gasche


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker