diff options
author | Veit Heller <veit@veitheller.de> | 2023-02-28 09:34:12 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-28 09:34:12 +0100 |
commit | ed2a4108c43280186005ef5a31a1f24986f87bbe (patch) | |
tree | f354d1766f799ea94f59373e582988d5630c808e | |
parent | ca5774b1aeeab2bc4d6fa901b5a55682ebc2d539 (diff) |
-rw-r--r-- | src/Concretize.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 ++ " */" |