Opened 6 months ago

Last modified 6 months ago

#15277 new task

Move field name resolution to the type-checker

Reported by: adamgundry Owned by: adamgundry
Priority: normal Milestone: 8.8.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:

Description

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 (1)

comment:1 Changed 6 months ago by adamgundry

Owner: set to adamgundry
Note: See TracTickets for help on using tickets.