Opened 11 years ago

Closed 11 years ago

#290 closed defect (fixed)

THE typechecking and evaluation order

Reported by: gb Owned by: gz
Priority: major Milestone:
Component: IDE Version:
Keywords: Cc:

Description

This should already be fixed in r9331, but for the record and in case it rears its ugly head again.

The TYPED-FORM acode operation (basically, the acode representation of THE) now takes an extra argument indicating whether or not a runtime typecheck should occur; this is set to T by the frontend at high SAFETY levels. Historically, a TYPED-FORM acode operation was considered "simple and side-effect free" if its operand was and could therefore be evaluated out-of-order, but this is no longer true if typehecking is involved. (Since that typechecking can involve function calls and a lot of register shuffling, a typechecking TYPED-FORM should be viewed as something that has unknown side-effects and which can at least change register contents.)

Change History (1)

comment:1 Changed 11 years ago by gb

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.