You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 3962 Reporter:@Chris00 Assigned to:@gasche Status: closed (set by @xavierleroy on 2015-12-11T18:25:35Z) Resolution: not a bug Priority: normal Severity: feature Version: 3.09.0 Fixed in version: 4.02.0+dev Category: otherlibs Related to:#6064
Bug description
It would be nice to have the following function in Bigarray
One probably wants to distinguish between float32 and float64, etc. (and not only between OCaml types as above) and to change the names which may not be so good.
I can provide more info on the application if that can serve as a motivation.
Having this directly in the library is not necessary anymore thanks to #6064. For kind_eq you could even in the equal case build a GADT witness that the types are indeed compatible.
Original bug ID: 3962
Reporter: @Chris00
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2015-12-11T18:25:35Z)
Resolution: not a bug
Priority: normal
Severity: feature
Version: 3.09.0
Fixed in version: 4.02.0+dev
Category: otherlibs
Related to: #6064
Bug description
It would be nice to have the following function in Bigarray
val kind_eq : ('a, 'b) Bigarray.kind -> ('c, 'd) Bigarray.kind -> bool
While not difficult to write, it requires the use of Obj.magic which is better to avoid in ones code. In the same vein,
val layout_eq : 'a Bigarray.layout -> 'b Bigarray.layout -> bool
would be nice as well (or [is_fortran_layout : 'a Bigarray.layout -> bool] and [is_c_layout : 'a Bigarray.layout -> bool]).
The text was updated successfully, but these errors were encountered: