Add open Core.Poly for polymorphic equality

ishaan-arora-1 · ishaan-arora-1 · commit 0dcf9ff820f3 · 2026-02-23T21:56:06.000+05:30
diff --git a/src/frontend/Warnings.ml b/src/frontend/Warnings.ml
@@ -1,4 +1,5 @@
 open Core
+open Core.Poly
 module Location_span = Middle.Location_span
 module Location = Middle.Location
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`open Core`
	`2`	`+open Core.Poly`
`2`	`3`	`module Location_span = Middle.Location_span`
`3`	`4`	`module Location = Middle.Location`
`4`	`5`