Number: 956

Date:  4-May-84 13':35':05

Submitter: le.pasa

Source:  Magnus@SRI-AI-Kiewiet.pa

Subject: "type?" compiles right where "TYPE?" doesn''t

Lisp Version: Fugue4 -Fugue6

Description: '
Type? does not compile right':'
(TYPERECORD FOO (A B))'
(DEFINEQ (FIE (A)'
	(COND ((NOT (TYPE? FOO A))'
		(ERRORX (LIST 32 A)))'
	      (T (PRINT A)))))'
compiles wrong when FIE isn''t Dwimified before the compilation.  It compiles'
right if FIE is typed in as':'
(DEFINEQ (FIE (A)'
	(COND ((NOT (type? FOO A))'
		(ERRORX (LIST 32 A)))'
	      (T (PRINT A)))))'
The record package used is dated 3-Jan-84 17':30':50, RECORD.;8

Workaround: 

Test Case: See above. Also, when I try in Fugue6 on Dolphin, with (FIE A), I get stacks of parentheses.  (at top level)

Edit-By: masinter.PA

Edit-Date: 13-Jul-84 20':18':55

Attn: 

Assigned To: 

In/By: 

Disposition: From': Masinter'
Subject': AR#956'
To': Le.pasa'
cc': Kaplan, Masinter'
'
Thu,'
'
I tried exactly what was specified in the AR, namely':'
'
(TYPERECORD FOO (A B))'
(DEFINEQ (FIE (A)'
	(COND ((NOT (TYPE? FOO A))'
		(ERRORX (LIST 32 A)))'
	      (T (PRINT A)))))'
'
COMPILE(FIE)'
st'
n'
'
(FIE A)'
'
and I got UNBOUND ATOM, A.'
'
When I tried (FIE ''A), it worked fine. When I looked at the compiled code, it looked OK. So I can''t tell what the problem is. I never got anything that gave me "stacks of parentheses".'
'
(I''ve marked this AR as Incomplete pending further information)

System: Programming Environment

Subsystem: Record Package

Machine: 1108

Disk: 

Microcode Version: 

Memory Size: 

File Server: 

Server Software Version: 

Difficulty: 

Frequency: Everytime

Impact: 

Priority: 

Status: Incomplete

Problem Type: 

Source Files: