From ed2a4108c43280186005ef5a31a1f24986f87bbe Mon Sep 17 00:00:00 2001 From: Veit Heller Date: Tue, 28 Feb 2023 09:34:12 +0100 Subject: [PATCH] fix: mangle member name in deletion generator (#1458) --- src/Concretize.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Concretize.hs b/src/Concretize.hs index b3127203..42664166 100644 --- a/src/Concretize.hs +++ b/src/Concretize.hs @@ -921,7 +921,7 @@ concreteDeleteTakePtr typeEnv env members = memberDeletionGeneral :: String -> TypeEnv -> Env -> (String, Ty) -> String memberDeletionGeneral separator typeEnv env (memberName, memberType) = case findFunctionForMember typeEnv env "delete" (typesDeleterFunctionType memberType) (memberName, memberType) of - FunctionFound functionFullName -> " " ++ functionFullName ++ "(p" ++ separator ++ memberName ++ ");" + FunctionFound functionFullName -> " " ++ functionFullName ++ "(p" ++ separator ++ mangle memberName ++ ");" FunctionNotFound msg -> error msg FunctionIgnored -> " /* Ignore non-managed member '" ++ memberName ++ "' : " ++ show memberType ++ " */"