id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
3428	Wrong pragma parsing	boris		"If I write the following code with pragma LANGUAGE and extension concatenated, ghci complains about unrecognized pragma but loads module.
{{{
{-# LANGUAGEExistentialQuantification #-}
module TestHS where

data ShowBox = forall s.Show s => SB s
instance Show ShowBox where
  show (SB s) = show s

list :: [ShowBox]
list = [SB ""sdf"", SB 4, SB True, SB (Nothing::Maybe())]
}}}

If pragma is not recognized, the extension ExistentialQuantification should not be loaded and so file should not compile. Another strange thing is that when I :reload file in ghci it does not complain about pragma anymore. It is needed to close ghci and open it once again to see error about not recognized pragma.

Also I think that if pragma concatenated with following information is legal it will give ambiguity for cases like adding pragma SPECIAL with existing pragma SPECIALIZE."	bug	closed	normal		Compiler (Parser)	6.10.3	fixed	pragma		Windows	x86		Unknown