monomorphic pattern binding

["Uday S. Reddy" <reddy@cs.uiuc.edu>]

Original-Via: uk.ac.nsf; Thu, 6 Sep 90 22:09:53 BST
Date: Thu, 6 Sep 90 16:01:00 -0500
From: "Uday S. Reddy" <reddy@cs.uiuc.edu>
To: haskell@cs.yale.edu
Cc: HASKLD-L <HASKLD-L%yalevm.uucp@cs.yale.edu>
In-Reply-To: john peterson's message of Thu, 6 Sep 90 15:10:05 EDT <9009061929.AA02090@a.cs.uiuc.edu>
Subject: monomorphic pattern binding
Original-Sender: reddy%edu.uiuc.cs@cs.yale.edu
Sender: haskell-request@cs.glasgow.ac.uk

I fully support this crusade.  (e where x = d) should be permissible
whenever e[d/x] is.

Uday