Merge pull request #160 from lthls/patch-2

gares · web-flow · commit d12a5baea6df · 2022-09-02T14:02:50.000+02:00
Hide unsafe code from the optimiser
diff --git a/elpi.opam b/elpi.opam
@@ -25,8 +25,8 @@ depends: [
   "cmdliner" {with-test}
   "dune" {>= "2.8.0"}
   "conf-time" {with-test}
-  "atdgen" {>= "2.9.1"}
-  "atdts" {>= "2.9.1"}
+  "atdgen" {>= "2.9.1" & < "2.10.0"}
+  "atdts" {>= "2.9.1" & < "2.10.0"}
 ]
 depopts: [
   "elpi-option-legacy-parser"
diff --git a/src/runtime.ml b/src/runtime.ml
@@ -2842,7 +2842,7 @@ and alternative = {
   clauses : clause list;
   next : alternative;
 }
-let noalts : alternative = Obj.magic 0
+let noalts : alternative = Obj.magic (Sys.opaque_identity 0)
 
 (******************************************************************************
   Constraint propagation

Original file line number	Diff line number	Diff line change
`@@ -2842,7 +2842,7 @@ and alternative = {`
`2842`	`2842`	`clauses : clause list;`
`2843`	`2843`	`next : alternative;`
`2844`	`2844`	`}`
`2845`		`-let noalts : alternative = Obj.magic 0`
	`2845`	`+let noalts : alternative = Obj.magic (Sys.opaque_identity 0)`
`2846`	`2846`
`2847`	`2847`	`(******************************************************************************`
`2848`	`2848`	`Constraint propagation`