The options pragma syntax doesn't work in a literate file using the
birdtrack syntax:

> {-# OPTIONS -fglasgow-exts #-}
> module MPTC
> where
>
> class MPTC a b where
>  fun :: a -> b

yields an error because the class has multiple parameters and the pragma
isn't recognized whereas

\begin{code}
module MPTC
where

class MPTC a b where
fun :: a -> b
\end{code}

works.

--FC



Reply via email to