From 444cf938d6b24667cf557da00cecd8430600d1c8 Mon Sep 17 00:00:00 2001 From: Troels Henriksen Date: Sat, 27 Jan 2024 01:12:11 +0100 Subject: [PATCH] Equality codegen for foreignptr. (#164) --- src/Compiler/Backend/ClosExp.sml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Compiler/Backend/ClosExp.sml b/src/Compiler/Backend/ClosExp.sml index a3ae4e4a0..11bd0ab33 100644 --- a/src/Compiler/Backend/ClosExp.sml +++ b/src/Compiler/Backend/ClosExp.sml @@ -2252,6 +2252,9 @@ struct else eq_prim "__equal_word64ub") else if TyName.eq(tn,TyName.tyName_STRING) then eq_prim "equalStringML" + else if TyName.eq(tn,TyName.tyName_FOREIGNPTR) then + (if BI.tag_values() then eq_prim "__equal_word64b" + else eq_prim "__equal_word64ub") else if TyName.eq(tn,TyName.tyName_VECTOR) then die "`=' on vectors! EliminateEq should have dealt with this" else eq_prim "equalPolyML"