(*************
Return-Path: Mike_Spreitzer.PARC@xerox.com
Received: by jumbo.pa.dec.com; id AA22584; Tue, 8 Sep 92 17:13:10 -0700
Received: by inet-gw-1.pa.dec.com; id AA29267; Tue, 8 Sep 92 17:13:08 -0700
Received: from Nuncio.Parc.Xerox.xns by alpha.xerox.com via XNS id <11719>; Tue, 8 Sep 1992 17:10:26 PDT
X-Ns-Transport-Id: 0000AA002B74BFD42E53
Date: Tue, 8 Sep 1992 17:10:06 PDT
From: Mike_Spreitzer.PARC@xerox.com
Subject: M3 compiler bug
To: m3-request
Cc: Mike_Spreitzer.PARC@xerox.com
Message-Id: <92Sep8.171026pdt.11719@alpha.xerox.com>

Compiling the following interface causes a runtime error in the compiler: the
ASSERT at line 376 in RecordType.m3 fails.

******************)

INTERFACE m3bug67;

TYPE TRefRecX = REF BITS 32 FOR RECORD f1 := 1 END;

END m3bug67.

(******************************

Here's the neighborhood of line 376 in RecordType.m3:

PROCEDURE GenInit (<*UNUSED*> p: P) =
  BEGIN
    <* ASSERT FALSE *>
  END GenInit;

*********************************)