Skip to content

Clean up skolemization with placeholder #211

Closed
Closed
Clean up skolemization with placeholder#211
Labels
E-easyDifficulty: might be a good place for a beginnerE-help-wantedCall for participation: extra help is wanted

Description

@csmoe
csmoe
opened on Oct 19, 2018

cc rust-lang/rust#54649

EDIT (mark-i-m): adding some instructions:

  • We are replacing the terminology "skolemization" with "placeholder" in the compiler.
  • We would like to do the same in the guide to stay consistent. We would like to replace "skolemization", "skolemize", "skolemized", etc appropriately.

Activity

  1. mark-i-m commented on Oct 20, 2018

    @mark-i-m
    mark-i-m
    on Oct 20, 2018
    Contributor

    cc #210

  2. mark-i-m commented on Oct 22, 2018

    @mark-i-m
    mark-i-m
    on Oct 22, 2018
    Contributor

    @csmoe Does this also apply to the old traits system too?

  3. mark-i-m
    added
    E-help-wantedCall for participation: extra help is wanted
    E-easyDifficulty: might be a good place for a beginner
    on Oct 22, 2018

  4. csmoe commented on Oct 23, 2018

    @csmoe
    csmoe
    on Oct 23, 2018
    ContributorAuthor

    @mark-i-m yes, all the things are "placeholder-fy"ed.

  5. mark-i-m
    closed this as completedin #217on Oct 25, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    E-easyDifficulty: might be a good place for a beginnerE-help-wantedCall for participation: extra help is wanted

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions