Skip to content

typecheck missing returns #41

Closed
Closed
@graydon

Description

@graydon

If we have a function that must return T, we don't presently notice when there
is no ret statement returning T. Notice this and complain!

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-type-systemArea: Type systemE-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions