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: 7846 Reporter: smuenzel-js Assigned to:@nojb Status: resolved (set by @nojb on 2018-09-04T04:42:01Z) Resolution: fixed Priority: normal Severity: minor Version: 4.07.0 Target version: 4.08.0+dev/beta1/beta2 Category: back end (clambda to assembly) Duplicate of:#7408 Monitored by:@nojb@gasche
Bug description
external cmp : 'a -> 'nt = "%compare";;
let nativeint_cmp (x : nativeint) y = cmp x y;;
File "/tmp/a.ml", line 4, characters 44-45:
Warning 20: this argument will not be used by the function.
Fatal error: exception File "asmcomp/cmmgen.ml", line 1983, characters 15-21: Assertion failed
The text was updated successfully, but these errors were encountered:
As a general rule, externals with %-primitives is an undocumented feature intended for compiler use only, so there are no guarantees if one is not careful.
That said, we systematically check the arity of other %-primitives since #1557, so I submitted #2014 to check this case as well.
Original bug ID: 7846
Reporter: smuenzel-js
Assigned to: @nojb
Status: resolved (set by @nojb on 2018-09-04T04:42:01Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.07.0
Target version: 4.08.0+dev/beta1/beta2
Category: back end (clambda to assembly)
Duplicate of: #7408
Monitored by: @nojb @gasche
Bug description
external cmp : 'a -> 'nt = "%compare";;
let nativeint_cmp (x : nativeint) y = cmp x y;;
File "/tmp/a.ml", line 4, characters 44-45:
Warning 20: this argument will not be used by the function.
Fatal error: exception File "asmcomp/cmmgen.ml", line 1983, characters 15-21: Assertion failed
The text was updated successfully, but these errors were encountered: