RE: Command-line option pragma doesn't work with birdtracks

Oops. \begin{code} module MPTC where class MPTC a b where fun :: a - b \end{code} should have been: \begin{code} {-# OPTIONS -fglasgow-exts #-} module MPTC where class MPTC a b where fun :: a - b \end{code} --FC

Command-line option pragma doesn't work with birdtracks

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