-
-
Notifications
You must be signed in to change notification settings - Fork 146
ddemangle #2
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
ddemangle #2
Conversation
Fixed: now using |
Does that handle symbols terminated by end-of-line correctly? I have been using this for quite some time now: https://gist.github.com/1069843 (with |
Why does it check for ' ', '"' and ''' to end the search? |
btw, since I didn't know about this pull request before, I implemented yet another demangle tool which reads stdin char-wise, supports demangling names passed on the cmd line and --help. |
I added a |
Once this is merged it'd be cool for rdmd to use it if it's available. |
ping? |
I'll look at this this weekend. Been busy with other things lately. |
Should be ready for merge now. |
Reads stdin, demangles mangled D symbols, send result to stdout. Useful to filter output from the linker.