This repository was archived by the owner on Jun 1, 2022. It is now read-only.

This repository was archived by the owner on Jun 1, 2022. It is now read-only.

Check that the types of term bindings with the same name do not overlap #476

Open

Open

Check that the types of term bindings with the same name do not overlap#476

Labels

analyzerefactoringtype inference

Milestone

opened

on Jan 10, 2021

Member

if there exists a scope where the term bindings are both accessible (i.e. not in sibling scopes).

Follow-up to #440.

added

on Jan 10, 2021

added this to the Refactor type inference milestone

on Jan 10, 2021

mentioned this

on Jan 16, 2021

Infer assignment type #502

modified the milestones: Refactor type inference, 0.2.0

on Feb 17, 2021

added this to Core

on Nov 19, 2021

moved this to Todo in Core

on Nov 19, 2021

moved this from Todo to Processing in Core

on Nov 19, 2021

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

analyzerefactoringtype inference

Type

No type

Projects

Status

Processing

Milestone

0.2.0No due date

Relationships

None yet

Development

No branches or pull requests

Participants