Pragma removed, import fixed

src/Curry/Syntax/Lexer.lhs

@@ -21,7 +21,7 @@ In this section a lexer for Curry is implemented.
 
 > import Prelude hiding (fail)
 > import Data.Char (chr, ord, isAlpha, isAlphaNum, isDigit, isSpace, isUpper)
-> import Data.List (intersperse)
+> import Data.List (intercalate)
 > import qualified Data.Map as Map (Map, union, lookup, fromList)
 
 > import Curry.Base.LexComb

src/Curry/Syntax/Type.lhs

@@ -43,11 +43,9 @@ an unlimited range of integer constants in Curry programs.
 \paragraph{Modules}
 \begin{verbatim}
 
-> data Module = Module [Pragma] ModuleIdent (Maybe ExportSpec) [Decl]
+> data Module = Module ModuleIdent (Maybe ExportSpec) [Decl]
 >               deriving (Eq,Show,Read,Typeable,Data)
 
-> data Pragma = Pragma String String
-
 > data ExportSpec = Exporting Position [Export]
 >                   deriving (Eq,Show,Read,Typeable,Data)
 > data Export