Skip to content

Returning Undefined value doesn't get flagged as error #551

Closed
Closed
Returning Undefined value doesn't get flagged as error#551
Labels
feature

Description

@gvanrossum
gvanrossum
opened on Jan 7, 2015

This gets no errors:

def words(s: str) -> Dict[str, int]:
    x = Undefined(Dict[str, int])
    return x

Shouldn't it be an error to return an undefined value?

Activity

  1. JukkaL
    added
    feature
    on Jan 8, 2015

  2. JukkaL commented on Jan 8, 2015

    @JukkaL
    JukkaL
    on Jan 8, 2015
    Collaborator

    Yeah, it would be good to track undefined values and flag an error at least if a program definitely uses an undefined value. This can be implemented using some fairly simple data flow analysis.

  3. JukkaL commented on May 17, 2015

    @JukkaL
    JukkaL
    on May 17, 2015
    Collaborator

    We are getting rid of Undefined so this is no longer relevant.

  4. JukkaL
    closed this as completedon May 17, 2015
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

    feature

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions