Opened 17 months ago

Last modified 11 months ago

#15277 new task

Move field name resolution to the type-checker

Reported by: adamgundry Owned by: adamgundry
Priority: normal Milestone: 8.10.1
Component: Compiler (Type checker) Version: 8.5
Keywords: ORF Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: #15149 Differential Rev(s):
Wiki Page:


Per discussion on #15149, we plan to make the type-checker responsible for all field name lookup in record construction, pattern-matching and updates. This should be simpler than the current story and let us get rid of tcg_field_env.

Change History (2)

comment:1 Changed 17 months ago by adamgundry

Owner: set to adamgundry

comment:2 Changed 11 months ago by osa1


Bumping milestones of low-priority tickets.

Note: See TracTickets for help on using tickets.