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

Features/polymorphic tracing #171

Merged
merged 2 commits into from
May 20, 2015
Merged

Features/polymorphic tracing #171

merged 2 commits into from
May 20, 2015

Conversation

EliasC
Copy link
Contributor

@EliasC EliasC commented May 20, 2015

This pull request adds tracing of polymorphic types by tracking the runtime types of polymorphic fields. However, it also removes support for polymorphic methods and functions. The plan is to re-add them, but to do it properly. This means that for now

class Id<a>
    def id(x : a) : a
      x

will compile, while

class Id
    def id(x : a) : a
      x

will not.

kikofernandez pushed a commit that referenced this pull request May 20, 2015
@kikofernandez kikofernandez merged commit a4e3a7b into parapluu:master May 20, 2015
@kikofernandez kikofernandez deleted the features/polymorphic-tracing branch May 20, 2015 15:13
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.

2 participants