Yes, it's there, but I notice it's undocumented. I'll add to the user guide. But meanwhile you can use the syntax of list comprehension qualifiers as a guard. You need -fglasgow-exts Simon | -----Original Message----- | From: Peter Thiemann [mailto:[EMAIL PROTECTED]] | Sent: 24 November 1999 08:58 | To: Simon Peyton-Jones | Cc: [EMAIL PROTECTED] | Subject: pattern guards | | | Hi Simon, | | I dimly recall that ghc once supported pattern guards, which | was (if I | remember correctly) some way to bind variables in the guard of a | pattern match. Is this feature still available somewhere inside GHC? | | -Peter |