Skip to content
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

Fixed a bug related to tracing of traits #335

Merged
merged 1 commit into from
Feb 24, 2016
Merged

Fixed a bug related to tracing of traits #335

merged 1 commit into from
Feb 24, 2016

Conversation

EliasC
Copy link
Contributor

@EliasC EliasC commented Feb 22, 2016

In certain cases, CodeGen.Trace.traceCapability would generate a
C-variable containing -> which would confuse clang. This commit
replaces -> by _ before generating the name. See trace.enc for a
test that failed before.

@albertnetymk
Copy link
Contributor

The string replace feels rather unexpected. Could we just drop the tmp variable and use the trace function directly?

@EliasC
Copy link
Contributor Author

EliasC commented Feb 22, 2016

Agreed! Fixed to your suggestion.

@albertnetymk
Copy link
Contributor

Can be merged if no objections.

In certain cases, `CodeGen.Trace.traceCapability` would generate a
C-variable containing `->` which would confuse clang. This commit
replaces `->` by `_` before generating the name. See `trace.enc` for a
test that failed before.
@EliasC
Copy link
Contributor Author

EliasC commented Feb 24, 2016

Rebased!

albertnetymk added a commit that referenced this pull request Feb 24, 2016
Fixed a bug related to tracing of traits
@albertnetymk albertnetymk merged commit e613303 into parapluu:development Feb 24, 2016
@albertnetymk albertnetymk deleted the fix/trace-trait branch February 24, 2016 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants