Skip to content

tir: Merge terms and patterns into a single data structure #1054

@kontheocharis

Description

@kontheocharis

This will greatly help reduce the amount of duplication in TC code

Metadata

Metadata

Assignees

Labels

type-systemIssues related with typechecking sub-system.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions