Skip to content

Commit

Permalink
fix: mangle member name in deletion generator (#1458)
Browse files Browse the repository at this point in the history
  • Loading branch information
hellerve authored Feb 28, 2023
1 parent ca5774b commit ed2a410
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Concretize.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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 ++ " */"

Expand Down

0 comments on commit ed2a410

Please sign in to comment.