Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0)
          id <19740-0@swan.cl.cam.ac.uk>; Tue, 25 Feb 1992 01:17:45 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA12874;
          Mon, 24 Feb 92 17:03:42 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA12858;
          Mon, 24 Feb 92 17:03:35 -0800
Received: from LocalHost.cs.ucla.edu
          by maui.cs.ucla.edu (Sendmail 5.61b+YP/3.13) id AA09536;
          Mon, 24 Feb 92 17:06:10 -0800
Message-Id: <9202250106.AA09536@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Cc: chou@edu.ucla.cs
Subject: Parsing paired abstraction
Date: Mon, 24 Feb 92 17:06:08 PST
From: chou@edu.ucla.cs

I don't know if this is a feature or a bug:

#"\(x,y). (x:num, y:num)" ;;
"\(x,y). (x,y)" : term

#"\(x:num, y:num). (x, y)" ;;
"\(x,y). (x,y)" : term

#"\(x,y). (x,y):num#num" ;;
"\(x,y). (x,y)" : term

#"\(x,y):num#num. (x,y)" ;;
bad variable structure in quotation
skipping: ) " ;; parse failed


Why shouldn't the last quotation parse?

- Ching Tsun