Opened 2 years ago

Last modified 3 months ago

#5791 new task

Defer other kinds of errors until runtime, not just type errors

Reported by: simonmar Owned by:
Priority: normal Milestone: 7.6.2
Component: Compiler Version: 7.2.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets: #5778 #393

Description (last modified by simonpj)

In #5624 we added -fdefer-type-errors to turn type errors into warnings. We can do this for other kinds of errors too, notably out-of-scope errors, and there are plenty more errors that can be deferred by replacing the erroneous subexpression by a call to error. See also #1341

Change History (4)

comment:1 Changed 2 years ago by simonmar

  • Description modified (diff)

comment:2 Changed 20 months ago by igloo

  • Milestone changed from 7.6.1 to 7.6.2

comment:3 Changed 15 months ago by simonpj

  • Description modified (diff)

comment:4 Changed 3 months ago by nomeata

Note: See TracTickets for help on using tickets.