use === instead of ==

Florent Ferrari · Florent Ferrari · commit 93050a32f0f7 · 2025-05-20T19:29:49.000+08:00
diff --git a/hkmc2/shared/src/main/scala/hkmc2/semantics/ucs/Normalization.scala b/hkmc2/shared/src/main/scala/hkmc2/semantics/ucs/Normalization.scala
@@ -54,7 +54,7 @@ class Normalization(elaborator: Elaborator)(using raise: Raise, ctx: Ctx):
             fieldName1 == fieldName2 && p1 =:= p2
         }
       case (Pattern.Synonym(sym1, args1), Pattern.Synonym(sym2, args2)) =>
-        args1 == args2 && sym1.params == sym2.params && sym1.body == sym2.body
+        args1 === args2 && sym1.params === sym2.params && sym1.body === sym2.body
       case (_:Pattern.ClassLike, _) | (_:Pattern.Lit, _) |
         (_:Pattern.Tuple, _) | (_:Pattern.Synonym, _) | (_:Pattern.Record, _) => false
     /** Checks if `lhs` can be subsumed under `rhs`. */

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@ class Normalization(elaborator: Elaborator)(using raise: Raise, ctx: Ctx):`
`54`	`54`	`fieldName1 == fieldName2 && p1 =:= p2`
`55`	`55`	`}`
`56`	`56`	`case (Pattern.Synonym(sym1, args1), Pattern.Synonym(sym2, args2)) =>`
`57`		`- args1 == args2 && sym1.params == sym2.params && sym1.body == sym2.body`
	`57`	`+ args1 === args2 && sym1.params === sym2.params && sym1.body === sym2.body`
`58`	`58`	`case (_:Pattern.ClassLike, _) \| (_:Pattern.Lit, _) \|`
`59`	`59`	`(_:Pattern.Tuple, _) \| (_:Pattern.Synonym, _) \| (_:Pattern.Record, _) => false`
`60`	`60`	/** Checks if `lhs` can be subsumed under `rhs`. */