I believe this is a known problem with OPTIONS_GHC, and will work on the command line. I think Ian is working on it. Ian? Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users-bounces@haskell.org] On | Behalf Of Bas van Dijk | Sent: 19 September 2007 13:20 | To: glasgow-haskell-users@haskell.org | Subject: Unknown option -XPatternSig used in warning | | Hello, | | $ ghc --version | The Glorious Glasgow Haskell Compilation System, version 6.7.20070915 | | | When loading the following incorrect program in ghci: | | foo (x :: a) = x | | ghci rightly complains: | | Illegal signature in pattern: a | Use -XPatternSigs to permit it | | OK so I follow the advice and load: | | {-# OPTIONS_GHC -XPatternSigs #-} | | foo (x :: a) = x | | Now ghci complains: | | unknown flags in {-# OPTIONS #-} pragma: -XPatternSigs ??? | | The following works though: | | {-# OPTIONS_GHC -fglasgow-exts #-} | | foo (x :: a) = x | | results in: | | A pattern type signature cannot bind scoped type variables `a' | unless the pattern has a rigid type context | In the pattern: x :: a | In the definition of `foo': foo (x :: a) = x | | Which I expect. | | Should I file a bug report, or is there an easy fix? | | regards, | | Bas van Dijk | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users